Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
This reverts commit 07da232. Undo the attempt to work around problems with spaces in username. It causes issues on (at least) the OSX installable. And it's not known whether it actually fixes the original problem
- Loading branch information