--- a/.hgtags Fri Jan 18 15:32:55 2019 +0100
+++ b/.hgtags Fri Jan 18 15:32:56 2019 +0100
@@ -5,3 +5,4 @@
0f5d1fa99b9fde7a20b54f57c0ed638580873a72 0.1.4
deed98330eacb1fc0c6a00ff991942872a95fdc8 0.1.5
7be246c6944869c5dc80964b3d5b710d59863645 0.1.6
+9be85c3709da2daecc92978e8bc0138ba354ddad 0.1.7