diff -r 5fe62978801a -r 7ce838e67a61 .hgtags
--- 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