Skip to content

Fix issue so that Git Config user.name is set correctly#1850

Merged
rfennell merged 1 commit intomainfrom issue1849-missing-git-config-userApr 4, 2024

Commits

Commits on Apr 4, 2024