--- a/.hgtags Thu Jun 28 08:42:49 2018 +0200 +++ b/.hgtags Thu Jun 28 08:42:50 2018 +0200 @@ -10,3 +10,4 @@ 9e9ac44c0640ebc2638de8d21ff1e855fcad60e0 0.1.9 725591ab6ccf55b2f7c7b3cf8184cfb0659130ab 0.1.10 21f1a2b244825e46ba666c8ea3b4e543fd0f067d 0.1.11 +5f42c1b3365f65bf382468b3b64d62d9bb02be0b 0.1.12