Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
If I remember correctly, this change wasn't accepted or rejected, but it's something I can implement easily so I might as well. If the change gets rejected, just close this pull request.
- Loading branch information