Commit 9bf5bd7cd89502826cc0223ec43aba15ad30fac7

Edward Thomson 2015-02-05T09:19:46

Merge pull request #2867 from ethomson/8dot3 Handle 8dot3 filenames being disabled on Win32