1.1 --- a/.hgtags	Fri Jun 08 20:13:30 2018 +0100
     1.2 +++ b/.hgtags	Fri Jun 08 20:13:34 2018 +0100
     1.3 @@ -1,3 +1,4 @@
     1.4  f7d950c3431c2bddad5f63db84b87c32b6624d29 0.5.1
     1.5  4af9b57a647f0534df4ec68d28f23a5dc6e1c5fc 0.5.2
     1.6  7a98a5020c447c28b6802b19d89c2b4a0acc9ae1 Release 0.5.4
     1.7 +bed0d5a4511fb51eebb1d5cd368efc9d52df4c62 0.5.4