1.1 --- a/.hgtags	Thu May 16 10:38:05 2013 +0200
     1.2 +++ b/.hgtags	Tue Sep 17 15:00:31 2013 +0200
     1.3 @@ -10,3 +10,4 @@
     1.4  623816269b75e53fffb4b19960df7040a3c20056 release-0.7
     1.5  23572dc719bd630817d11eaabdee4565f63ef8e1 release-0.7.1
     1.6  56abd247f421febd8b2c5e59d666968692e11555 release-0.7.2
     1.7 +a83e16b8b825399bb21461e578c32d86982e4ed3 release-0.8