1 files changed, 1 insertions, 0 deletions

diff --git a/.hgtags b/.hgtags
index 6761a28cf..1b1c47fdd 100644
--- 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