diff -r 4ed672cecc25 -r a08e30243b95 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Sun Jun 01 13:18:10 2025 +0200
@@ -0,0 +1,1 @@
+334b727f7516a5d4f95252f2fcb0b86d5153f997 v0.1