--- a/.hgtags Sun Jan 14 14:57:20 2018 +0100 +++ b/.hgtags Sun Jan 14 14:57:27 2018 +0100 @@ -11,3 +11,4 @@ f3c0393cdfac54f929aa43ae4a2bd9cd8e996535 0.1.9 801be6e0b3217fb3200d775eac652cefc8ee1b3c 0.1.10 417298dbf77b8188e044c8f11583ac65ee260123 0.1.11 +a7222beb955993f33b84be8475385551ad47de25 0.1.12