Skip to content

Use sh instead of bash in .version.sh script#1121

Merged
maraino merged 1 commit intomasterfrom fix-1115Oct 19, 2022

Commits

Commits on Oct 19, 2022