--- 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