diff -r 953c757c368f -r 93a45de7660f .hgtags
--- a/.hgtags	Mon Oct 30 17:11:16 2023 +0100
+++ b/.hgtags	Mon Oct 30 17:11:28 2023 +0100
@@ -2,3 +2,4 @@
 edb6f12b334bb22c2981fb8ed0abb28cd4403844 v1.0
 6971db7b18ab77e1b148cbf4d598c3dc71b39633 v1.0.1
 ac1e00190b2b1988bb7aba4e097a45e0cd3b28ca v1.1.0
+953c757c368fd89e76a09e5cf9797f0ffb627838 v1.2