--- a/.hgtags Fri Oct 13 10:01:32 2017 +0200 +++ b/.hgtags Fri Oct 13 10:01:33 2017 +0200 @@ -9,3 +9,4 @@ 157c4f274b91c0f5ff3fc4a697f22c6a5d3d25ce 0.1.7 0d9783a4913de901ea727d7176d5c124123d2562 0.1.8 f3c0393cdfac54f929aa43ae4a2bd9cd8e996535 0.1.9 +801be6e0b3217fb3200d775eac652cefc8ee1b3c 0.1.10