From 8bdbeac736c51188e857bec2dcad14a40887399c Mon Sep 17 00:00:00 2001
From: Maxim Dounin <mdounin@mdounin.ru>
Date: Tue, 30 May 2017 17:55:23 +0300
Subject: [PATCH] release-1.13.1 tag

---
 .hgtags | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.hgtags b/.hgtags
index 0753e0d43..653a6d196 100644
--- a/.hgtags
+++ b/.hgtags
@@ -413,3 +413,4 @@ d8b321a876d6254e9e98795e3b194ef053290354 release-1.11.11
 7f394e433f0003222aa6531931ecc0b24740d5e4 release-1.11.12
 3d0e8655f897959e48cc74e87670bb5492a58871 release-1.11.13
 3671096a45bce570a2afa20b9faf42c7fb0f7e66 release-1.13.0
+539f7893ecb96bee60965528c8958d7eb2f1ce6b release-1.13.1