# HG changeset patch
# User wenzelm
# Date 1534341855 -7200
# Node ID 714faa6ddd106ddb38f6b445eb849549755b303d
# Parent  bc6717bd2912ec89212ca3dd8a847683852f3f23# Parent  b9b5473f0c5c7df898f44072e7be177e43a34c1f
merged

diff -r bc6717bd2912 -r 714faa6ddd10 .hgtags
--- a/.hgtags	Wed Aug 15 13:21:14 2018 +0200
+++ b/.hgtags	Wed Aug 15 16:04:15 2018 +0200
@@ -39,3 +39,4 @@
 14167c321d222b3628414ed97fe65205f7b8bde0 Isabelle2018-RC2
 71aa5a9128c21cc7faf95f2969077ddd7b5c1118 Isabelle2018-RC3
 34b8ff7cb10962428de2cbd61a3e0fc705455dac Isabelle2018-RC4
+91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018