This patch should fix this bug and a (unreported) bug involving non-ASCII characters in filenames on Windows. Please test and let me know if all is OK.
This patch should fix this bug and a (unreported) bug involving non-ASCII characters in filenames on Windows. Please test and let me know if all is OK.