Idris2/Release/CHECKLIST

[ ] Change version number (MAJOR, MINOR, PATCH) in Makefile
[ ] Change version numbers in doc listings
[ ] Change version numbers in prelude, base, contrib, network, and test ipkgs
[ ] Update bootstrap chez and racket
[ ] Tag on github with version number (in the form vX.Y.Z)
[ ] Run release script
Update bootstrap scheme for release 2020-08-16 14:33:11 +03:00			`[ ] Change version number (MAJOR, MINOR, PATCH) in Makefile`
			`[ ] Change version numbers in doc listings`
Add a test package to the Idris 2 project (#1162) 2021-03-09 21:27:05 +03:00			`[ ] Change version numbers in prelude, base, contrib, network, and test ipkgs`
Update bootstrap scheme for release 2020-08-16 14:33:11 +03:00			`[ ] Update bootstrap chez and racket`
			`[ ] Tag on github with version number (in the form vX.Y.Z)`
			`[ ] Run release script`