release-1.25.2 tag

diff --git a/.hgtags b/.hgtags
index cfa3b321e51919fdeb846918a371981dea72aab4..4275d5562910aab48d01a8548cbf13c34cca5038 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -474,3 +474,4 @@ ff3afd1ce6a6b65057741df442adfaa71a0e2588 release-1.23.3
 ac779115ed6ee4f3039e9aea414a54e560450ee2 release-1.23.4
 12dcf92b0c2c68552398f19644ce3104459807d7 release-1.25.0
 f8134640e8615448205785cf00b0bc810489b495 release-1.25.1
+1d839f05409d1a50d0f15a2bf36547001f99ae40 release-1.25.2