--- a/.hgtags	Tue Sep 19 11:29:27 2017 +0200
+++ b/.hgtags	Tue Sep 19 11:29:27 2017 +0200
@@ -7,3 +7,4 @@
 6206a2ae7053d972b7414260ed0045a281c75945 0.1.5
 1bdfe52659d7be12d5cdd95868111de3677b5dd7 0.1.5
 1a9d8c43dba0ae2853bce9066f0372b4515b4169 0.1.6
+8d80cb67b023e3621d62794cd2b790cd50e88841 0.1.7
changeset 112	60d746bb90c4
parent 109	ebe5c7c45816
child 116	fc4d1690cbee