Skip to content

Adjust naming in release script#232

Merged
jannis-baum merged 1 commit intomainfrom
issue/231-adjust-naming-in-release-script
Aug 7, 2025
Merged

Adjust naming in release script#232
jannis-baum merged 1 commit intomainfrom
issue/231-adjust-naming-in-release-script

Commits

Commits on Aug 7, 2025