--- a/.hgtags Sun Nov 10 13:54:17 2024 +0100
+++ b/.hgtags Sun Nov 10 13:54:55 2024 +0100
@@ -2,3 +2,4 @@
186e41b332d9c10598f8e1eff413817a71a6f825 v1.4.1
186e41b332d9c10598f8e1eff413817a71a6f825 v1.4.1
a2ea57a163489644c7e8f3afc8c05862d03c1ba2 v1.4.1
+d11c154e33e10261dc4e2b19f70a83eb13005da1 v1.4.2