release-1.25.0 tag

diff --git a/.hgtags b/.hgtags
index e50ceb9cf074fb7493d206f32f95dc159b5c69ac..4655010fe71d50fb4b19016e4ea9eb460eb8d340 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -472,3 +472,4 @@ a63d0a70afea96813ba6667997bc7d68b5863f0d release-1.23.1
 aa901551a7ebad1e8b0f8c11cb44e3424ba29707 release-1.23.2
 ff3afd1ce6a6b65057741df442adfaa71a0e2588 release-1.23.3
 ac779115ed6ee4f3039e9aea414a54e560450ee2 release-1.23.4
+12dcf92b0c2c68552398f19644ce3104459807d7 release-1.25.0