# HG changeset patch
# User wenzelm
# Date 1666083235 -7200
# Node ID c56997fab4372d573184bb2111bdec3834376d3f
# Parent  8b4108f41c777d6465683cdffcabdeb6c4ba6b3d
Added tag Isabelle2022-RC4 for changeset 8b4108f41c77

diff -r 8b4108f41c77 -r c56997fab437 .hgtags
--- a/.hgtags	Mon Oct 17 23:36:08 2022 +0200
+++ b/.hgtags	Tue Oct 18 10:53:55 2022 +0200
@@ -43,3 +43,4 @@
 6308eaaa88f1da72b223552d1b6ea681fe24f796 Isabelle2022-RC1
 778152d51e972d21bad5383afb4685efb793f574 Isabelle2022-RC2
 d704efeb01dbdc86029180cc0c5e0f8d9e699128 Isabelle2022-RC3
+8b4108f41c777d6465683cdffcabdeb6c4ba6b3d Isabelle2022-RC4