--- a/.hgtags	Thu Jul 11 20:14:34 2024 +0200
+++ b/.hgtags	Thu Jul 11 20:15:36 2024 +0200
@@ -1,7 +1,2 @@
 eba880c1705cf55fa4c6f50e518d6070831e759b Version 2.0
 5da2cb5aea6bdb346614c30d63d029deefc22877 v3.0
-719e3c6d4c9bcc679c5266562b6efb697bab26f2 v3.1
-719e3c6d4c9bcc679c5266562b6efb697bab26f2 v3.1
-0f1c55d2a90a5faba89756e99155a3f7ab2d8dfe v3.1
-0f1c55d2a90a5faba89756e99155a3f7ab2d8dfe v3.1
-0000000000000000000000000000000000000000 v3.1