1 files changed, 1 insertions, 0 deletions

diff --git a/.hgtags b/.hgtags
index 7c75a6fc2..29540129e 100644
--- 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