# HG changeset patch
# User Sjoerd Mullender <sjoerd@acm.org>
# Date 1474359554 -7200
# Node ID 6efa30daf61d5a39654ee76fdb517edb9687af76
# Parent  2a267cba51fd0f979138f8ba02d22ee6ce382fc9
Removed tag v11.25.1

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -1,1 +1,3 @@
 e6d9dd0cff68a238fafce389d29e01ef10490ea9 v11.25.1
+e6d9dd0cff68a238fafce389d29e01ef10490ea9 v11.25.1
+0000000000000000000000000000000000000000 v11.25.1