diff -r d238badfc268 -r b9ffd3216187 .hgtags
--- a/.hgtags	Tue Oct 17 11:58:35 2017 +0200
+++ b/.hgtags	Tue Oct 17 11:59:55 2017 +0200
@@ -608,3 +608,6 @@
 5010381099f1227724261665f0843a60447991b2 3.25.2
 5010381099f1227724261665f0843a60447991b2 debian/3.25.2-1
 5010381099f1227724261665f0843a60447991b2 centos/3.25.2-1
+d238badfc268ad4440b3238a24690858bad3fbdd 3.25.3
+d238badfc268ad4440b3238a24690858bad3fbdd centos/3.25.3-1
+d238badfc268ad4440b3238a24690858bad3fbdd debian/3.25.3-1