1.1 --- a/.hgtags	Wed Oct 17 08:42:20 2018 +0200
     1.2 +++ b/.hgtags	Wed Oct 17 08:42:42 2018 +0200
     1.3 @@ -11,3 +11,4 @@
     1.4  084c00652ac9fedcd56e2c316be795ed0ba00b2f Release 1.1.1
     1.5  65ef79fbac812190526dcf7c97d2eee0bec97595 Release
     1.6  65ef79fbac812190526dcf7c97d2eee0bec97595 1.1.2
     1.7 +65ef79fbac812190526dcf7c97d2eee0bec97595 Release 1.1.2