1.1 --- a/.hgtags	Mon Jun 13 12:19:50 2016 +0100
     1.2 +++ b/.hgtags	Fri Jun 08 20:13:30 2018 +0100
     1.3 @@ -1,2 +1,3 @@
     1.4  f7d950c3431c2bddad5f63db84b87c32b6624d29 0.5.1
     1.5  4af9b57a647f0534df4ec68d28f23a5dc6e1c5fc 0.5.2
     1.6 +7a98a5020c447c28b6802b19d89c2b4a0acc9ae1 Release 0.5.4