diff -r 5da2cb5aea6b -r 4d1ce98e09cc .hgtags
--- a/.hgtags	Mon Apr 24 21:01:41 2023 +0200
+++ b/.hgtags	Mon Apr 24 21:02:00 2023 +0200
@@ -1,1 +1,2 @@
 eba880c1705cf55fa4c6f50e518d6070831e759b Version 2.0
+5da2cb5aea6bdb346614c30d63d029deefc22877 v3.0