# HG changeset patch
# User Sjoerd Mullender <sjoerd@acm.org>
# Date 1473859755 -7200
# Node ID 94e0ca7bc206f1e096384d7cafff2e5201bc3e51
# Parent  e6d9dd0cff68a238fafce389d29e01ef10490ea9
Added tag v11.25.1 for changeset e6d9dd0cff68

diff --git a/.hgtags b/.hgtags
new file mode 100644
--- /dev/null
+++ b/.hgtags
@@ -0,0 +1,1 @@
+e6d9dd0cff68a238fafce389d29e01ef10490ea9 v11.25.1