1.1 --- a/.hgtags	Thu Jul 16 23:03:08 2020 +0100
     1.2 +++ b/.hgtags	Mon Aug 31 07:12:39 2020 +0100
     1.3 @@ -7,3 +7,4 @@
     1.4  e07ceadab395328f24fdeaf689d3dbe513d5cf3b 0.5.7
     1.5  bbbbf18518568270fbce822b2db7431c3afe7f31 0.5.8
     1.6  abdfa041003249e3aab5894dace9bb321d0b6a3b 0.5.8
     1.7 +5cb36c12ac49b5620183746a782d3c87165be7a1 0.6