--- a/.hgtags Tue Jun 27 13:20:54 2017 +0200 +++ b/.hgtags Tue Jun 27 13:22:49 2017 +0200 @@ -1,3 +1,4 @@ 186ad038b0d9e78e2d7528bae1f19f1a11c7396e 0.1.0 bc0c0e883c3edcfee61025da1d511b3c89857cb9 0.1.1 4d3cdf2098e3a3a728c05e1ea4f132d08286b521 0.1.2 +7351bfe5a572aae2bec0cab8f42e5b48ca87da37 0.1.3