release-0.8.12 tag

diff --git a/.hgtags b/.hgtags
index ec4995573f9dd18f39ff81e89fefefa0f847b91b..a59f2ba848a63819678a6cd9bbc3fc81352f190d 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -258,3 +258,4 @@ ff52ee9e6422f3759f43a442b7ba615595b3a3d4 release-0.8.6
 a40f8475511d74a468ade29c1505e8986600d7a3 release-0.8.9
 2d9faf2260df6c3e5d4aa1781493c31f27a557d0 release-0.8.10
 d0d61c32331a6505381b5218318f7b69db167ca8 release-0.8.11
+ca7a1c6c798a7eb5b294d4ac3179ec87ecf297d3 release-0.8.12