1.1 --- a/.hgtags	Mon Jun 09 21:07:08 2014 +0200
     1.2 +++ b/.hgtags	Wed Jul 16 07:57:22 2014 +0200
     1.3 @@ -15,3 +15,5 @@
     1.4  3e565843a1313fb77986d53a1b457e428ef42200 release-0.9
     1.5  3e565843a1313fb77986d53a1b457e428ef42200 release-0.9
     1.6  0000000000000000000000000000000000000000 release-0.9
     1.7 +0000000000000000000000000000000000000000 release-0.9
     1.8 +1e2a0b94b2cea854fa8a69e33c3b00ca756ce865 release-0.9