Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix pull request 640. For some reason github didn't allow a clean mer…
…ge althought there weren't any conflicts. Fix it so that it's easier to just merge via the UI.
- Loading branch information