release-1.7.12 tag

diff --git a/.hgtags b/.hgtags
index 7c75a6fc25c394771f3348e6a25f8420fe12dda1..29540129efb69662d865dfea9206b6e64ba78ef2 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -381,3 +381,4 @@ d5ea659b8bab2d6402a2266efa691f705e84001e release-1.7.8
 34b201c1abd1e2d4faeae4650a21574771a03c0e release-1.7.9
 860cfbcc4606ee36d898a9cd0c5ae8858db984d6 release-1.7.10
 2b3b737b5456c05cd63d3d834f4fb4d3776953d0 release-1.7.11
+3ef00a71f56420a9c3e9cec311c9a2109a015d67 release-1.7.12