release-1.25.5 tag

diff --git a/.hgtags b/.hgtags
index 387b38397f09a36e2d20caadbfc80a427dfb28df..4a7ee26780a29e7823e31c78596a307c9498699c 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -477,3 +477,4 @@ f8134640e8615448205785cf00b0bc810489b495 release-1.25.1
 1d839f05409d1a50d0f15a2bf36547001f99ae40 release-1.25.2
 294a3d07234f8f65d7b0e0b0e2c5b05c12c5da0a release-1.25.3
 173a0a7dbce569adbb70257c6ec4f0f6bc585009 release-1.25.4
+8618e4d900cc71082fbe7dc72af087937d64faf5 release-1.25.5