1.1 --- a/.hgtags	Wed Jul 15 08:42:01 2015 -0700
     1.2 +++ b/.hgtags	Wed Jul 22 12:54:04 2015 +0200
     1.3 @@ -20,3 +20,4 @@
     1.4  4b84090d721d82edd5ca39cbcc3f8e77182ad556 release80_beta_base
     1.5  fba15cb9f5d28de7fbe2b6dd8294e2c59aeb9b3a release80_base
     1.6  1395bc71bc9875dcd87f55ea0e4d8005d5013d77 release801_base
     1.7 +18345b8b7b92fd0ecfc4cb1cc060ed6de5792b42 release81_beta_base