# HG changeset patch
# User wenzelm
# Date 1693757340 -7200
# Node ID 4f2215cfc3e0a70189b3a7d7e65a8aa43fcfa8fe
# Parent  ffa417b5c9137255818c24137df05f49a3af1b8d
Added tag Isabelle2023-RC5 for changeset ffa417b5c913

diff -r ffa417b5c913 -r 4f2215cfc3e0 .hgtags
--- a/.hgtags	Sun Sep 03 16:56:43 2023 +0200
+++ b/.hgtags	Sun Sep 03 18:09:00 2023 +0200
@@ -45,3 +45,4 @@
 53b59fa42696a6eff4bf073b510fc923794e7df5 Isabelle2023-RC2
 f5fb5bb2533fdf96b136a2aa508e30d4608fd888 Isabelle2023-RC3
 12aac1489f3bfcddfd21d3598dc2ed7512999682 Isabelle2023-RC4
+ffa417b5c9137255818c24137df05f49a3af1b8d Isabelle2023-RC5