# HG changeset patch
# User wenzelm
# Date 1560111756 -7200
# Node ID 8dce5eed599364628b488208932e9919bd152cfd
# Parent  c04d4951a155c7fd9044033129ad7f2d70433b8c# Parent  400238fad6c2577198e64d220bf10caf69282f3f
merged;

diff -r c04d4951a155 -r 8dce5eed5993 .hgtags
--- a/.hgtags	Fri Jun 07 11:08:29 2019 +0200
+++ b/.hgtags	Sun Jun 09 22:22:36 2019 +0200
@@ -40,3 +40,4 @@
 805250bb7363dbfcb072ed34bbfb522106bdd21a Isabelle2019-RC2
 85de4fdec61b4c19b5491e61b637b66ae247ef97 Isabelle2019-RC3
 ad2d84c4238064c72140763ea1fe4ab91a619d9e Isabelle2019-RC4
+83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019