--- a/.hgtags Fri Nov 16 15:20:22 2018 +0100 +++ b/.hgtags Fri Nov 16 15:20:22 2018 +0100 @@ -5,3 +5,4 @@ 2f54d2535afcb866740cd5cf9bbbe8de60709df7 0.1.5 be17fa43b551f0cb0e09c189798bba60c403dda5 0.1.6 6342635f6605053209ed71939a41280682721803 0.1.7 +41d6c78a49152ebbc76494e0eaff4a7872344863 0.1.8