Skip to content

Merge branch 'release-4-0-x' into 'release-4-0-x'

Christian Gutschow requested to merge cherry-pick-2f198b73 into release-3-1-x

Fix configure for uncommon shells

See merge request !829 (merged)

(cherry picked from commit 2f198b73)

38c1eb07 Fix configure for uncommon shells

Merge request reports