# HG changeset patch
# User cin
# Date 2019-02-10 16:37:29
# Node ID f14dd702c9ace41952e4b5fa96427a98a1e34681
# Parent  0c74a05721611a11fefc862f34b68b857d729d29

Added tag v1.2.13 for changeset 0c74a0572161

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -1,2 +1,3 @@
 9b7927c5bafc1c80e589d9feb807e428075ef513 v1.1.1
 43a2828f8abeb9f2f9bfaf9e6d0e0b370c8a6456 v1.2.0-rc
+0c74a05721611a11fefc862f34b68b857d729d29 v1.2.13