chore: use git tags for versioning instead of VERSION file#13
Merged
simonpasquier merged 2 commits intorhobs:masterfrom Nov 28, 2025
Merged
chore: use git tags for versioning instead of VERSION file#13simonpasquier merged 2 commits intorhobs:masterfrom
simonpasquier merged 2 commits intorhobs:masterfrom