1.1 --- a/.hgtags	Tue Sep 17 15:00:31 2013 +0200
     1.2 +++ b/.hgtags	Mon May 26 10:18:57 2014 +0200
     1.3 @@ -11,3 +11,4 @@
     1.4  23572dc719bd630817d11eaabdee4565f63ef8e1 release-0.7.1
     1.5  56abd247f421febd8b2c5e59d666968692e11555 release-0.7.2
     1.6  a83e16b8b825399bb21461e578c32d86982e4ed3 release-0.8
     1.7 +1b30bba2b38db83c7a232039cfd2eaf7e0e25f3f release-0.8.1