Added tag 0.7.12 for changeset a1faa64d4972

diff --git a/.hgtags b/.hgtags
index 13418ffedda5129b391d8bf3bcf903105dc42d7f..3b73468ffa48286af707347b96479d54c2e41092 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -61,3 +61,4 @@ b5198f7f11a3b5e174f9e75a7bd50394fa354fb0 0.7.4
 0000000000000000000000000000000000000000 0.7.10
 3a1b46d51f040f5e7b9b81c3b2b312a2d272f0a3 0.7.10
 26dd3824b9f343e2768609c1b673f788e3a5e154 0.7.11
+a1faa64d4972020413fd168e2b542bcc150819c0 0.7.12