# HG changeset patch
# User wenzelm
# Date 1429304359 -7200
# Node ID b758c99371604bc956679713d96719b23a010f09
# Parent  2944cc4f4f56d84136dc63208b56c8f1de5216b3# Parent  9c65c0f03c3a709bfa1ac4dcf7488971d7d24379
merged

diff -r 2944cc4f4f56 -r b758c9937160 .hgtags
--- a/.hgtags	Fri Apr 17 22:15:35 2015 +0200
+++ b/.hgtags	Fri Apr 17 22:59:19 2015 +0200
@@ -30,3 +30,4 @@
 4dd08fe126bad63aa05741d55fb3e86a2dbfc795 Isabelle2013-2
 8f4a332500e41bb67efc3e141608829473606a72 Isabelle2014
 42d34eeb283c645de7792a327e86d846f9cfb5f9 Isabelle2015-RC0
+c9760373aa0f9a941d0e58d1432a823eaa14a0cc Isabelle2015-RC1