1.1 --- a/.hgtags	Tue Apr 24 19:27:53 2018 +0100
     1.2 +++ b/.hgtags	Fri Jun 08 18:02:49 2018 +0100
     1.3 @@ -2,3 +2,4 @@
     1.4  45e2bb06c88d411b88f15451c4c8e6d6892d797d 0.6.2
     1.5  2e8a0b26d579eb8bfab708d4662c2a70af3315d4 0.6.3
     1.6  203fa998c6dff32a7a5c41bf4f22351612af166e Release 0.6.3.112
     1.7 +f98d77376544472c1396943b12dfa2bfad0b134a 0.7