release-1.25.4 tag

diff --git a/.hgtags b/.hgtags
index 58d8523843173e261da65ec54e2e20bd4a59e20b..387b38397f09a36e2d20caadbfc80a427dfb28df 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -476,3 +476,4 @@ ac779115ed6ee4f3039e9aea414a54e560450ee2 release-1.23.4
 f8134640e8615448205785cf00b0bc810489b495 release-1.25.1
 1d839f05409d1a50d0f15a2bf36547001f99ae40 release-1.25.2
 294a3d07234f8f65d7b0e0b0e2c5b05c12c5da0a release-1.25.3
+173a0a7dbce569adbb70257c6ec4f0f6bc585009 release-1.25.4