--- a/Admin/Release/CHECKLIST Tue Oct 25 15:11:18 2022 +0200
+++ b/Admin/Release/CHECKLIST Tue Oct 25 15:13:11 2022 +0200
@@ -103,6 +103,8 @@
Post-release
============
+- update .hgtags
+
- update Admin/Release/official
- update /p/home/isabelle and /p/home/isabelle/html-data