1.1 --- a/.hgtags	Wed Oct 17 08:41:39 2018 +0200
     1.2 +++ b/.hgtags	Wed Oct 17 08:42:20 2018 +0200
     1.3 @@ -9,3 +9,5 @@
     1.4  e4d80dd0a663c5397a6a9178e08aea1e7808d43e Patch release 1.0.442
     1.5  43ab5608555e12cb110ccda79cbfb9783e40408b Release 1.1.0
     1.6  084c00652ac9fedcd56e2c316be795ed0ba00b2f Release 1.1.1
     1.7 +65ef79fbac812190526dcf7c97d2eee0bec97595 Release
     1.8 +65ef79fbac812190526dcf7c97d2eee0bec97595 1.1.2