--- a/.hgtags Mon Jun 11 16:09:15 2018 +0200 +++ b/.hgtags Mon Jun 11 16:09:15 2018 +0200 @@ -9,3 +9,4 @@ e1552515151ed616b834d2f0d5244f64ee8b0286 0.1.8 9e9ac44c0640ebc2638de8d21ff1e855fcad60e0 0.1.9 725591ab6ccf55b2f7c7b3cf8184cfb0659130ab 0.1.10 +21f1a2b244825e46ba666c8ea3b4e543fd0f067d 0.1.11