Skip to content

Output version and git hash for --version.#392

Merged
balhoff merged 1 commit intomasterfrom issue-388Feb 7, 2022

Commits

Commits on Feb 7, 2022