# HG changeset patch
# User wenzelm
# Date 1613313638 -3600
# Node ID 24494191e058606a83f855fe1f32747eb50953f5
# Parent  ed36e33a2e4b01751c93c8ad28c07f8b00e11722
Added tag Isabelle2021-RC6 for changeset ed36e33a2e4b

diff -r ed36e33a2e4b -r 24494191e058 .hgtags
--- a/.hgtags	Sat Feb 13 21:19:53 2021 +0100
+++ b/.hgtags	Sun Feb 14 15:40:38 2021 +0100
@@ -43,3 +43,4 @@
 02422c9add5e1c608290e48f3f0815c93ab00c1d Isabelle2021-RC3
 2ab14dbc6feb5e64c9c0c93ff2dff28f34a23f28 Isabelle2021-RC4
 a88dbf2a020fbd4ebee247f56fcc56e851e1f928 Isabelle2021-RC5
+ed36e33a2e4b01751c93c8ad28c07f8b00e11722 Isabelle2021-RC6