.hgtags
changeset 12203 c615f945b38a
parent 12200 457274b4e017
child 12215 b9ffd3216187
--- a/.hgtags	Mon Jul 10 11:43:18 2017 +0200
+++ b/.hgtags	Tue Sep 12 09:49:30 2017 +0200
@@ -605,3 +605,6 @@
 5fe62978801a4ac19cb8764812226190db12bbd7 3.25.1
 5fe62978801a4ac19cb8764812226190db12bbd7 debian/3.25.1-1
 5fe62978801a4ac19cb8764812226190db12bbd7 centos/3.25.1-1
+5010381099f1227724261665f0843a60447991b2 3.25.2
+5010381099f1227724261665f0843a60447991b2 debian/3.25.2-1
+5010381099f1227724261665f0843a60447991b2 centos/3.25.2-1