--- a/.hgtags Thu Jun 28 08:40:48 2018 +0200 +++ b/.hgtags Thu Jun 28 08:40:48 2018 +0200 @@ -4,3 +4,4 @@ b3ec9933295b4a34ad963066affb76b91aabe488 0.1.4 2f54d2535afcb866740cd5cf9bbbe8de60709df7 0.1.5 be17fa43b551f0cb0e09c189798bba60c403dda5 0.1.6 +6342635f6605053209ed71939a41280682721803 0.1.7