1.1 --- a/.hgtags	Wed Jul 24 10:21:35 2013 +0200
     1.2 +++ b/.hgtags	Sat Aug 10 14:27:19 2013 +0200
     1.3 @@ -2,3 +2,4 @@
     1.4  ffc2d2559fc916e90c3f000582a2d4761d229d44 r1.2.1
     1.5  d303bfa8b1edf141856665fb73fddcc6abc33fef r1.2.2
     1.6  9e587caed9537aeb01a855749b5919ee3e005911 r1.2.3
     1.7 +e13061207f85ee5f428855b83b2fe3a3ad62a26c r1.2.4