--- a/.hgtags Thu Jun 08 10:51:11 2017 +0200 +++ b/.hgtags Thu Jun 08 10:51:20 2017 +0200 @@ -3,3 +3,4 @@ a94173c4f60fd7feedd81402c35057986b440980 0.1.2 b8bfdb2004167b74ab25eadaeedbaf629e3c2dac 0.1.3 4b0e0e3c1e59a2a1f9e879ee6f66d52c9199d5c6 0.1.4 +75f47c02cddda9333ac7855f6dbd9fbfb41f96a1 0.1.5