# HG changeset patch
# User wenzelm
# Date 1477677698 -7200
# Node ID 195242d16c03727a6278800f9babcba4da393ba3
# Parent  b17acc1834e3a6414d92686ebd616aa833902352# Parent  cec5427b5c5f79199b9b5864f9bc31b48756bfa9
merged

diff -r b17acc1834e3 -r 195242d16c03 .hgtags
--- a/.hgtags	Fri Oct 28 19:54:41 2016 +0200
+++ b/.hgtags	Fri Oct 28 20:01:38 2016 +0200
@@ -33,3 +33,4 @@
 5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015
 d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016
 666c7475f4f7e9ba46c59170026230787c504ca7 Isabelle2016-1-RC0
+9ee2480d10b7404683aa7f4c3a30d44cbb6a21b9 Isabelle2016-1-RC1