-
Merge branch 'project-path-case-sensitivity' into 'master' · 7924dd5cRobert Speicher authored
Prefer project with exact path to differently cased one when both exist. Fixes #3113. See merge request !1649
7924dd5c
×
BigW Consortium Gitlab
Prefer project with exact path to differently cased one when both exist. Fixes #3113. See merge request !1649