Merge branch 'jk/dotgit-case-maint-1.8.5' into maint-1.8.5
authorJunio C Hamano <gitster@pobox.com>
Wed, 7 Jan 2015 21:26:35 +0000 (13:26 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 7 Jan 2015 21:26:35 +0000 (13:26 -0800)
* jk/dotgit-case-maint-1.8.5:
is_hfs_dotgit: loosen over-eager match of \u{..47}

Trivial merge