--- a/.hgtags Fri Oct 26 09:59:33 2018 +0200 +++ b/.hgtags Fri Oct 26 09:59:34 2018 +0200 @@ -2,3 +2,4 @@ e7bddde188b7028c2c2e72fd3e0493a8694a8a7a 0.1.1 8caea347dca85e4b6abe59e4b7f9e32d1722d630 0.1.2 4a5b522fe30f9e9fc6728589a94b2a4d86f144ed 0.1.3 +a22fec10214baf487487a790d52310f09736ef78 0.1.4