1.1 --- a/.hgtags	Fri Mar 22 11:53:00 2019 +0000
     1.2 +++ b/.hgtags	Thu Jul 16 23:03:08 2020 +0100
     1.3 @@ -5,3 +5,5 @@
     1.4  8a668d0a0d108a22de14c3ba75549b00de4409cb 0.5.5
     1.5  52ac1fcbdbbea7cc5cde1c865fc0e5ed9f799f43 0.5.6
     1.6  e07ceadab395328f24fdeaf689d3dbe513d5cf3b 0.5.7
     1.7 +bbbbf18518568270fbce822b2db7431c3afe7f31 0.5.8
     1.8 +abdfa041003249e3aab5894dace9bb321d0b6a3b 0.5.8