Skip to content

Don't trigger release process via UI, need to push tag by hand#54

Merged
mkurz merged 1 commit intomainfrom fix-release-processJan 10, 2024

Commits

Commits on Jan 10, 2024