--- a/.hgtags Mon Jun 11 16:04:52 2018 +0200 +++ b/.hgtags Mon Jun 11 16:04:52 2018 +0200 @@ -6,3 +6,4 @@ 7b2902f6f8496c980b9336bc31ae73ccb6dba86e 0.1.5 65e7ee10fc207046c0a6432ee439ec4695fbbe30 0.1.6 9b87ac9dff97eb0d805f3d131b542262cf2dc9f5 0.1.7 +2399139252a9f5d65ca837a8795ffa70031ab2aa 0.1.8