From 2d565928522f7b960c57fd81708ef13cc6904fda Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 5 Aug 2022 15:53:19 -0400
Subject: [PATCH] fix some leftover uses of 'staging'

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 80570b58a..66d928c19 100644
--- a/README.md
+++ b/README.md
@@ -64,7 +64,7 @@ We do not guarantee backwards-compatibility, so upgrading Iris may break your
 Iris-using developments.  If you want to be notified of breaking changes, please
 let us know your account name on the
 [MPI-SWS GitLab](https://gitlab.mpi-sws.org/) so we can add you to the
-notification group.  Note that this excludes the "staging" and "deprecated"
+notification group.  Note that this excludes the "unstable" and "deprecated"
 packages (see below).
 
 #### Use of Iris in submitted artifacts
@@ -123,7 +123,7 @@ modules in separate folders.
     constructions within this language, e.g., parallel composition.
     For more examples of using Iris and heap_lang, have a look at the
     [Iris Examples](https://gitlab.mpi-sws.org/iris/examples).
-* The [iris_staging](iris_staging) package contains libraries that are not yet
+* The [iris_unstable](iris_unstable) package contains libraries that are not yet
   ready for inclusion in Iris proper. For each library, there is a corresponding
   "tracking issue" in the Iris issue tracker (also linked from the library
   itself) which tracks the work that still needs to be done before moving the
-- 
GitLab