Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix previous commit to actually work.
My bad, I haven't checked that `git commit` actually picked up changes that I made while I was writing commit message... Fixes #820
- Loading branch information