--- a/.hgtags	Wed Jun 07 11:01:51 2017 +0200
+++ b/.hgtags	Wed Jun 07 11:01:59 2017 +0200
@@ -1,2 +1,3 @@
 d7df37b006be856ce47f4a451018f6be48f86edc 0.1.0
 e76aa6d39ce691e104b8f7a83572e1d43e0ee528 0.1.1
+7ceac963fe2441a0ef9522bb814f4216646e1abb 0.1.2