1.1 --- a/.hgtags	Wed Mar 26 18:59:04 2014 +0100
     1.2 +++ b/.hgtags	Mon May 19 13:59:26 2014 +0200
     1.3 @@ -16,3 +16,4 @@
     1.4  0000000000000000000000000000000000000000 release-0.8
     1.5  0000000000000000000000000000000000000000 release-0.8
     1.6  2fd4f5f4a02eae9ced7f0b123b5b0cad89337f2b release-0.8
     1.7 +bab8e369c180d59b613731482ff3703036d1a0bc release-0.8.1