# HG changeset patch
# User wenzelm
# Date 1694466803 -7200
# Node ID 123bbc715ec9bf160582ec7686d3e59c383ce2be
# Parent  5930c89d3bf29301ec13143fb5c5df099fee71e3
post-release updates;

diff -r 5930c89d3bf2 -r 123bbc715ec9 .hgtags
--- a/.hgtags	Mon Sep 11 22:59:34 2023 +0200
+++ b/.hgtags	Mon Sep 11 23:13:23 2023 +0200
@@ -40,10 +40,4 @@
 7e2a9a8c2b85f10d81f3be433878fe51fa13eb6f Isabelle2021
 c2a2be496f35aa1a6072393aebfdb1b85c9f2e9e Isabelle2021-1
 1ac2416e843293bc6917ba965f54b42962514b7f Isabelle2022
-f4221ae7544ca26fdfba64d4e04ebd3d3b5a694d Isabelle2023-RC0
-006dbc9c2de1d1c541a9d822b42c70fedf223e08 Isabelle2023-RC1
-53b59fa42696a6eff4bf073b510fc923794e7df5 Isabelle2023-RC2
-f5fb5bb2533fdf96b136a2aa508e30d4608fd888 Isabelle2023-RC3
-12aac1489f3bfcddfd21d3598dc2ed7512999682 Isabelle2023-RC4
-ffa417b5c9137255818c24137df05f49a3af1b8d Isabelle2023-RC5
 b5f3d1051b131a80b1e4560cc05e5a3d223bc64f Isabelle2023
diff -r 5930c89d3bf2 -r 123bbc715ec9 Admin/Release/official
--- a/Admin/Release/official	Mon Sep 11 22:59:34 2023 +0200
+++ b/Admin/Release/official	Mon Sep 11 23:13:23 2023 +0200
@@ -1,3 +1,4 @@
+Isabelle2023
 Isabelle2022
 Isabelle2021-1
 Isabelle2021