fixes agda#2232

jamesmckinna · Dec 15, 2023 · 2c620fa · 2c620fa
1 parent 82cf294
commit 2c620fa
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
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.0.1
 include: src
 flags:
  --warning=noUnsupportedIndexedMatch