release-1.5.12 tag

diff --git a/.hgtags b/.hgtags
index 5d61242ca5cab4e39bbe4d2533ae200cd4fe0b24..6761a28cf51980a16c24d296101a07327823d89a 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -367,3 +367,4 @@ eaa76f24975948b0ce8be01838d949122d44ed67 release-1.5.8
 5a1759f33b7fa6270e1617c08d7e655b7b127f26 release-1.5.9
 b798fc020e3a84ef68e6c9f47865a319c826d33c release-1.5.10
 f995a10d4c7e9a817157a6ce7b753297ad32897e release-1.5.11
+97b47d95e4449cbde976657cf8cbbc118351ffe0 release-1.5.12