--- a/.hgtags	Tue Sep 19 11:32:14 2017 +0200
+++ b/.hgtags	Tue Sep 19 11:32:15 2017 +0200
@@ -1,2 +1,3 @@
 842ab9ef3982fb9e5a3d59c62015c72f78defa36 0.1.0
 a6c84f9c03d3fdcff019e017e3afa45c4b73db19 0.1.1
+85506e4365c584b9fc497bf218499c989e2752a8 0.1.2