release-1.5.13 tag

diff --git a/.hgtags b/.hgtags
index 6761a28cf51980a16c24d296101a07327823d89a..1b1c47fdd26c8e1c204f76cb06bd7498309ee2c4 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -368,3 +368,4 @@ eaa76f24975948b0ce8be01838d949122d44ed67 release-1.5.8
 b798fc020e3a84ef68e6c9f47865a319c826d33c release-1.5.10
 f995a10d4c7e9a817157a6ce7b753297ad32897e release-1.5.11
 97b47d95e4449cbde976657cf8cbbc118351ffe0 release-1.5.12
+fd722b890eabc600394349730a093f50dac31639 release-1.5.13