diff --git a/doc/release-guide.txt b/doc/release-guide.txt index 1fb5565b9b..77a5e77ba5 100644 --- 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 index 30ce05e7dc..ba7ae571b9 100644 --- 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