# HG changeset patch
# User wenzelm
# Date 1585219732 -3600
# Node ID fb7fdd3eb7b980ba824722b28a4c9609636b1459
# Parent  263298eb68b252d05f5845f1d8dd6936d7ab12a4# Parent  7eda22253605296477c9e7e1ecf51f6d09d982fe
merged

diff -r 263298eb68b2 -r fb7fdd3eb7b9 .hgtags
--- a/.hgtags	Wed Mar 25 17:38:22 2020 +0100
+++ b/.hgtags	Thu Mar 26 11:48:52 2020 +0100
@@ -39,3 +39,4 @@
 21c0b3a9d2f8f27800f7ea9c8f0fe92139e9e2c3 Isabelle2020-RC0
 a8849ac415cc816740fbd8cfaac14501f7468ddb Isabelle2020-RC1
 7eadccd4392cc1f3b603c0fa5734d0629f039cc0 Isabelle2020-RC2
+7fe1a344404a9f7e6e4cdef584338c6d9849812c Isabelle2020-RC3