1.1 --- a/.hgtags	Wed Oct 17 08:43:15 2018 +0200
     1.2 +++ b/.hgtags	Wed Oct 17 08:43:19 2018 +0200
     1.3 @@ -14,3 +14,5 @@
     1.4  65ef79fbac812190526dcf7c97d2eee0bec97595 Release 1.1.2
     1.5  65ef79fbac812190526dcf7c97d2eee0bec97595 Release
     1.6  0000000000000000000000000000000000000000 Release
     1.7 +65ef79fbac812190526dcf7c97d2eee0bec97595 1.1.2
     1.8 +0000000000000000000000000000000000000000 1.1.2