Post-release version bump in `standard-library.agda-lib`?
jamesmckinna opened this issue · comments
jamesmckinna commented
Currently: still showing as 2.0 on master
Should this get bumped to the 'next' milestone after a release? If so, this should also be part of the release-notes
...
jamesmckinna commented
Which milestone does this issue belong to, though?