diff -r 455bdfbdd320 -r c175d505e40d .hgtags --- a/.hgtags Tue Oct 22 10:01:10 2024 +0200 +++ b/.hgtags Tue Oct 22 10:01:37 2024 +0200 @@ -456,3 +456,4 @@ 2ad91d3d4558c9c30ca5e8aaf6ef6f5b58aed7ca V08.003 b1d408b2381d62da125e0f849bcf0547bc162bc9 V08.004 a805a8ee2b85688e84ccaa6ba381147bebb6490d V08.005 +455bdfbdd320d7c1599bdb17b40cbafcd0c3926a V08.006