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 75321d306a
commit f2ddaa7921