git/git — pull request #76 by reubenhwk (2014-02-01 08:51:32+00:00)
Title: look out for case-preserving filesystems

GIT shouldn't set 'ignorecase' on case-preserving filesystems automatically. These fixes check more carefully for case-preserving filesystems.