Skip to content

On Windows, do a case-insensitive comparison of paths.#967

Merged
PhilRunninger merged 1 commit intomasterfrom
fix_951
Mar 26, 2019

Commits

Commits on Mar 26, 2019