1.1 --- a/.hgtags	Thu May 16 10:37:44 2013 +0200
     1.2 +++ b/.hgtags	Thu May 16 10:38:05 2013 +0200
     1.3 @@ -9,3 +9,4 @@
     1.4  6792dc0bafb9c76a099e45bfc9e967d6a2823827 release-0.7
     1.5  623816269b75e53fffb4b19960df7040a3c20056 release-0.7
     1.6  23572dc719bd630817d11eaabdee4565f63ef8e1 release-0.7.1
     1.7 +56abd247f421febd8b2c5e59d666968692e11555 release-0.7.2