diff -r c880008e15f7 -r ae49875a0ffa .hgtags --- a/.hgtags Sat Sep 22 12:34:22 2018 +0200 +++ b/.hgtags Sat Sep 22 12:34:33 2018 +0200 @@ -396,3 +396,5 @@ 64fe57aef30970a2dd86794f3f9ffac609cd7863 V06.002 8066d700510cad480e9824d564ab57e6a457e7a1 V06.003 414c7d88133ba51f575c03e9f3c0fb72c9af97bd V06.004 +414c7d88133ba51f575c03e9f3c0fb72c9af97bd V06.004 +c880008e15f79412f2e0e30e514ba808a85d3fc4 V06.004