--- a/.hgtags	Mon Nov 30 15:49:59 2020 +0100
+++ b/.hgtags	Mon Nov 30 15:51:42 2020 +0100
@@ -1,2 +1,3 @@
 f1062af0f7fe59eeab56967a558259e8821d10c1 0.1.40
 04764d5bb427ee64eebfa5ce22720a1352967080 0.1.41
+bc4b99b7c6f3485d090c13f22b7b09e967aada99 0.1.42