1.1 --- a/.hgtags	Mon Aug 31 07:12:39 2020 +0100
     1.2 +++ b/.hgtags	Tue Apr 25 17:41:00 2023 +0100
     1.3 @@ -8,3 +8,4 @@
     1.4  bbbbf18518568270fbce822b2db7431c3afe7f31 0.5.8
     1.5  abdfa041003249e3aab5894dace9bb321d0b6a3b 0.5.8
     1.6  5cb36c12ac49b5620183746a782d3c87165be7a1 0.6
     1.7 +6ae203c8b28dba950f59bdd313bc621cc0ef9dfb 0.6.1