release-1.13.0 tag

diff --git a/.hgtags b/.hgtags
index 818243e9a6dbea863ab813611a98ed1ea258d49a..0753e0d433d54a20c438acd275042067151390f0 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -412,3 +412,4 @@ b83a067949a3384a49fd3d943eb8d0997b31f87b release-1.11.3
 d8b321a876d6254e9e98795e3b194ef053290354 release-1.11.11
 7f394e433f0003222aa6531931ecc0b24740d5e4 release-1.11.12
 3d0e8655f897959e48cc74e87670bb5492a58871 release-1.11.13
+3671096a45bce570a2afa20b9faf42c7fb0f7e66 release-1.13.0