1.1 --- a/.hgtags	Sat Jun 11 17:56:48 2016 +0100
     1.2 +++ b/.hgtags	Thu Jun 07 18:36:20 2018 +0100
     1.3 @@ -1,3 +1,4 @@
     1.4  bad1547191dca9fd34b6bfcfd61af01a58f238ca 0.6.1
     1.5  45e2bb06c88d411b88f15451c4c8e6d6892d797d 0.6.2
     1.6  2e8a0b26d579eb8bfab708d4662c2a70af3315d4 0.6.3
     1.7 +203fa998c6dff32a7a5c41bf4f22351612af166e Release 0.6.3.112