release-1.2.5 tag

diff --git a/.hgtags b/.hgtags
index 101966341c814f4d767cf35b52eaec243c942c22..b15bb477cdb9519364a63dce92da01c06c3ce39c 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -339,3 +339,4 @@ fee2dae560e38891a8eb9bfefa818e2652a2c48e release-1.2.1
 f9d796a201daa411de38c7a0e7282d743c163780 release-1.2.2
 e3786c39d06097a0e5d2d9791b5f3dc229313361 release-1.2.3
 e8aa72e49ef3e5cf6aaebff6ab8d56207b8ab8b4 release-1.2.4
+d763d5c9a13395fb78100f7c2d63c2323541f210 release-1.2.5