--- a/.hgtags	Tue Sep 03 11:44:24 2024 +0200
+++ b/.hgtags	Tue Sep 03 11:46:18 2024 +0200
@@ -451,3 +451,4 @@
 53df1cd6d37a27b5541a2bc3f026f03c938e6bd4 V07.003
 942d10136be5b46c415d474225edf1e90fac06e7 V07.004
 761ba74269845c11025e73abb1c82f1406ea1d35 V08.000
+d441b50586ba9b315c7c8e170e609c08bbf09aeb V08.001