release-1.25.3 tag

diff --git a/.hgtags b/.hgtags
index 4275d5562910aab48d01a8548cbf13c34cca5038..58d8523843173e261da65ec54e2e20bd4a59e20b 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -475,3 +475,4 @@ ac779115ed6ee4f3039e9aea414a54e560450ee2 release-1.23.4
 12dcf92b0c2c68552398f19644ce3104459807d7 release-1.25.0
 f8134640e8615448205785cf00b0bc810489b495 release-1.25.1
 1d839f05409d1a50d0f15a2bf36547001f99ae40 release-1.25.2
+294a3d07234f8f65d7b0e0b0e2c5b05c12c5da0a release-1.25.3