--- a/.hgtags Tue Nov 20 17:50:37 2018 +0100 +++ b/.hgtags Tue Nov 20 17:50:37 2018 +0100 @@ -6,3 +6,4 @@ be17fa43b551f0cb0e09c189798bba60c403dda5 0.1.6 6342635f6605053209ed71939a41280682721803 0.1.7 41d6c78a49152ebbc76494e0eaff4a7872344863 0.1.8 +59a69e31472e5b59f3288d73ad596540a386488f 0.1.8.1