release-1.25.1 tag

diff --git a/.hgtags b/.hgtags
index 4655010fe71d50fb4b19016e4ea9eb460eb8d340..cfa3b321e51919fdeb846918a371981dea72aab4 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -473,3 +473,4 @@ aa901551a7ebad1e8b0f8c11cb44e3424ba29707 release-1.23.2
 ff3afd1ce6a6b65057741df442adfaa71a0e2588 release-1.23.3
 ac779115ed6ee4f3039e9aea414a54e560450ee2 release-1.23.4
 12dcf92b0c2c68552398f19644ce3104459807d7 release-1.25.0
+f8134640e8615448205785cf00b0bc810489b495 release-1.25.1