--- a/.hgtags Mon Jun 12 12:17:36 2017 +0200 +++ b/.hgtags Mon Jun 12 12:20:29 2017 +0200 @@ -1,2 +1,3 @@ 186ad038b0d9e78e2d7528bae1f19f1a11c7396e 0.1.0 bc0c0e883c3edcfee61025da1d511b3c89857cb9 0.1.1 +4d3cdf2098e3a3a728c05e1ea4f132d08286b521 0.1.2