diff -r 5010381099f1 -r 457274b4e017 .hgtags
--- a/.hgtags	Mon Sep 11 16:19:00 2017 +0200
+++ b/.hgtags	Tue Sep 12 09:48:02 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