diff -r 5713898178f3 -r 4535f42c2e59 .hgtags
--- a/.hgtags	Thu Oct 08 09:39:15 2015 +0200
+++ b/.hgtags	Thu Oct 08 09:39:24 2015 +0200
@@ -1,2 +1,3 @@
 07229ac2497bb9886718d0fdbd903d2e9381ec1f 0.1.0
 6bfe7ef2f45eeb7bc6d5711650755d076cf063a1 0.1.1
+5713898178f3ea52e68b8a14bc1f473bc0f725a7 0.1.2