.hgtags
branch3.25
changeset 12191 7ce838e67a61
parent 12162 c1d7c0f66210
child 12200 457274b4e017
--- a/.hgtags	Mon Jul 10 11:23:45 2017 +0200
+++ b/.hgtags	Mon Jul 10 11:41:20 2017 +0200
@@ -602,3 +602,6 @@
 dacc5b168e29b33515cee5940de1e392dc9d522a 3.25.0
 dacc5b168e29b33515cee5940de1e392dc9d522a debian/3.25.0-1
 dacc5b168e29b33515cee5940de1e392dc9d522a centos/3.25.0-1
+5fe62978801a4ac19cb8764812226190db12bbd7 3.25.1
+5fe62978801a4ac19cb8764812226190db12bbd7 debian/3.25.1-1
+5fe62978801a4ac19cb8764812226190db12bbd7 centos/3.25.1-1