diff -r d5f030dbdb47 -r c6addfd4537e .hgtags --- a/.hgtags Wed Jul 22 16:25:16 2015 +0200 +++ b/.hgtags Wed Jul 22 16:25:26 2015 +0200 @@ -11,3 +11,4 @@ 2cb9eb6fa589ba7483bb1211c622217d616e6fc0 00.00.07 4e6bdb8c382cdc2b120e412b2433998399f7023e 00.00.08 3e7136c28fd24971be882b8baffb4e269308b600 00.00.09 +15eb3f9d3c6dcef81581c2b1ef9fefdcb00de039 00.00.10