Fix Git issue on case-insensitive OS (#1532)

This commit is contained in:
Ta-Ching Chen
2020-02-12 16:08:05 +08:00
committed by GitHub
parent 72a7d490c6
commit 81eb541442