--- a/.hgtags	Sun Jun 30 16:56:10 2024 +0200
+++ b/.hgtags	Sun Jun 30 13:57:53 2024 +0000
@@ -10,6 +10,7 @@
 7217174c217a42a1f8c89fc414886ea1f77680d5 v0.5.2
 78fe649d7fc94bb09a144e1446a68cb2ba7c6588 v2.3.0
 908a433f02c00624601605730f52ff16f68d17b3 v1.2.0
+c9c425a5b48b35ea42216b79749f122a682fd8d0 v3.0.0
 cde24b04e16d3b4bc67c9beb88a8a30301dd69c8 v0.2.0
 ce2b92d6d72ca97e33f08b804c53d830f1b81504 v0.6.1
 ce979580711a50e5911091e6a2048d937504d73f v0.6.0