Skip to content

Conversation

mosteo
Copy link
Member

@mosteo mosteo commented Feb 8, 2022

Fixes #934

@mosteo mosteo marked this pull request as ready for review February 8, 2022 11:10
@mosteo mosteo merged commit 33edc47 into master Feb 14, 2022
@mosteo mosteo deleted the fix/gitconfig-testsuite branch February 14, 2022 11:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Some tests fail with non-default system/global git configuration
2 participants