1.1 --- a/.hgtags	Fri Feb 07 10:03:38 2014 +0100
     1.2 +++ b/.hgtags	Mon Jun 09 19:32:49 2014 +0200
     1.3 @@ -12,3 +12,4 @@
     1.4  56abd247f421febd8b2c5e59d666968692e11555 release-0.7.2
     1.5  a83e16b8b825399bb21461e578c32d86982e4ed3 release-0.8
     1.6  1b30bba2b38db83c7a232039cfd2eaf7e0e25f3f release-0.8.1
     1.7 +3e565843a1313fb77986d53a1b457e428ef42200 release-0.9