--- a/.hgtags	Tue Sep 10 18:00:20 2024 +0200
+++ b/.hgtags	Tue Sep 10 18:01:27 2024 +0200
@@ -452,3 +452,4 @@
 942d10136be5b46c415d474225edf1e90fac06e7 V07.004
 761ba74269845c11025e73abb1c82f1406ea1d35 V08.000
 d441b50586ba9b315c7c8e170e609c08bbf09aeb V08.001
+27db603974626a79e4872dbfaffce317e80fe34d V08.002