1 files changed, 1 insertions, 0 deletions

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