1.1 --- a/.hgtags	Sat Aug 10 14:53:43 2013 +0200
     1.2 +++ b/.hgtags	Sat Aug 10 14:57:48 2013 +0200
     1.3 @@ -4,3 +4,4 @@
     1.4  dfdb58f52f0220ccfb6dbedfe2a0be7d99995e0a r1.1.3
     1.5  f1398882a9280c3b0401f1c367b4b14483031786 r1.1.4
     1.6  74e2dac774c85cb589f5485213c0ff5c12166b74 r1.1.5
     1.7 +44670dddcfcb8f729f80f786fcfcdbd7d2dd941a r1.1.6