Merge pull request #1793 from mariuszkurek/master

Fix build on case-sensitive filesystems
This commit is contained in:
Miran Grča
2021-11-10 22:51:32 +01:00
committed by GitHub