1 files changed, 1 insertions, 0 deletions

diff --git a/.hgtags b/.hgtags
index 4275d5562..58d852384 100644
--- 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