release-1.3.12 tag

diff --git a/.hgtags b/.hgtags
index ab362b8a13e26238fc73f576aa9660f0c48a75b5..b4fee11ff7baa70178c0c33e5706d1413a3e6cf8 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -349,3 +349,4 @@ ab7ce0eb4cf78a656750ab1d8e55ef61f7e535ec release-1.3.8
 1b1a9337a7399ad3cdc5e3a2f9fbaaec990271d5 release-1.3.9
 2c053b2572694eb9cd4aed26a498b6cb1f51bbcc release-1.3.10
 36409ac209872ce53019f084e4e07467c5d9d25e release-1.3.11
+560dc55e90c13860a79d8f3e0d67a81c7b0257bb release-1.3.12