[fixes #2232] (#2233)

jamesmckinna · web-flow · commit 54cea925d2ed · 2023-12-16T06:40:03.000Z
* fixes #2232 * corrected major version number
diff --git a/doc/release-guide.txt b/doc/release-guide.txt
@@ -81,3 +81,5 @@ procedure should be followed:
 * Move the CHANGELOG.md into the old CHANGELOG folders
 
 * Create new CHANGELOG.md file
+
+* Update `standard-library.agda-lib` to the new version/milestone on `master`
diff --git a/standard-library.agda-lib b/standard-library.agda-lib
@@ -1,4 +1,4 @@
-name: standard-library-2.0
+name: standard-library-2.1
 include: src
 flags:
   --warning=noUnsupportedIndexedMatch
