1.1 --- a/.hgtags	Mon Jun 09 19:32:49 2014 +0200
     1.2 +++ b/.hgtags	Mon Jun 09 21:27:49 2014 +0200
     1.3 @@ -13,3 +13,5 @@
     1.4  a83e16b8b825399bb21461e578c32d86982e4ed3 release-0.8
     1.5  1b30bba2b38db83c7a232039cfd2eaf7e0e25f3f release-0.8.1
     1.6  3e565843a1313fb77986d53a1b457e428ef42200 release-0.9
     1.7 +3e565843a1313fb77986d53a1b457e428ef42200 release-0.9
     1.8 +0000000000000000000000000000000000000000 release-0.9