1.1 --- a/.hgtags	Sat Feb 28 05:29:03 2015 +0100
     1.2 +++ b/.hgtags	Sun May 17 14:28:16 2015 +0200
     1.3 @@ -26,3 +26,4 @@
     1.4  837ea3e1cbafdc65a6e0d5e63056a337692f393a release-0.12
     1.5  75671373fa87fb9d61ab71e02f3ace7b8bb509e8 release-0.13
     1.6  fe7d038642e6b32ea986486d6234debdbe51b9a6 release-0.14
     1.7 +756236350081205e6443e7ae366c126d0ed3e857 release-0.15