From 27780073c8631826d846499840b3857d9b9a4fd5 Mon Sep 17 00:00:00 2001 From: "Thomas E. Hansen" Date: Fri, 22 Dec 2023 14:43:18 +0100 Subject: [PATCH] [ admin ] Update checklist for v0.7.0-rc2 --- Release/CHECKLIST | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Release/CHECKLIST b/Release/CHECKLIST index 99f532d8c7..a55f3ced46 100644 --- a/Release/CHECKLIST +++ b/Release/CHECKLIST @@ -18,6 +18,6 @@ [x] Change `IdrisPaths-yprefix` in the bootstrap sources to be defined as the string "__PREFIX__" rather than your local prefix [x] Remove __collect_safe from generated chez (to avoid need for chez >9.5) -[ ] Tag on github with version number (in the form vX.Y.Z) +[x] Tag on github with version number (in the form vX.Y.Z) [ ] Make libdocs and upload to idris-lang.org [ ] Run release script