1.1 --- a/.hgtags	Mon May 19 13:59:26 2014 +0200
     1.2 +++ b/.hgtags	Mon May 19 17:39:11 2014 +0200
     1.3 @@ -17,3 +17,5 @@
     1.4  0000000000000000000000000000000000000000 release-0.8
     1.5  2fd4f5f4a02eae9ced7f0b123b5b0cad89337f2b release-0.8
     1.6  bab8e369c180d59b613731482ff3703036d1a0bc release-0.8.1
     1.7 +bab8e369c180d59b613731482ff3703036d1a0bc release-0.8.1
     1.8 +0000000000000000000000000000000000000000 release-0.8.1