1.1 --- a/.hgtags	Fri Mar 08 13:51:08 2019 +0000
     1.2 +++ b/.hgtags	Tue Jul 14 13:17:21 2020 +0100
     1.3 @@ -4,3 +4,4 @@
     1.4  bed0d5a4511fb51eebb1d5cd368efc9d52df4c62 0.5.4
     1.5  8a668d0a0d108a22de14c3ba75549b00de4409cb 0.5.5
     1.6  52ac1fcbdbbea7cc5cde1c865fc0e5ed9f799f43 0.5.6
     1.7 +e07ceadab395328f24fdeaf689d3dbe513d5cf3b 0.5.7