--- a/.hgtags Fri Oct 05 15:10:28 2018 +0200 +++ b/.hgtags Fri Oct 05 15:10:28 2018 +0200 @@ -12,3 +12,4 @@ f1cd0f74969656e3fd324455b1126b4d6cae12b1 0.1.9 cec5c70cfd1cfc4d03af2b3f2230299fb91e46dc 0.1.10 671d1bb41699a2eb98df39d373ab11461543da53 0.1.11 +4d9e04453c06ab93b230042958dc759c4d80e7be 0.1.12