1.1 --- a/.hgtags	Fri Dec 26 21:00:35 2014 +0100
     1.2 +++ b/.hgtags	Sat Jan 10 19:38:00 2015 +0100
     1.3 @@ -24,3 +24,4 @@
     1.4  8b615a496fb410cbc29cd87f5ac5661bb8ac33fe release-0.10
     1.5  d21947a8b9b92a13bcef6622c8a5a17826bd4eab release-0.11
     1.6  837ea3e1cbafdc65a6e0d5e63056a337692f393a release-0.12
     1.7 +75671373fa87fb9d61ab71e02f3ace7b8bb509e8 release-0.13