--- a/.hgtags	Wed Jul 12 14:13:52 2017 +0200
+++ b/.hgtags	Wed Jul 12 14:13:52 2017 +0200
@@ -1,2 +1,3 @@
 9c54d3792816660d5401301601e806c939c22ace 0.1.0
 70c840b24840e1e4cc97970a0b7cb7a0f47e4ec0 0.1.1
+d01adb2493f0c6a3c20e3cdea1215870123ccfa7 0.1.2