PR should be the way to go. I think in order to be able to submit a PR, you first need to fork the repo in github, then push your new branch there, and then there should be a button for Pull Request.
If you can't get this to work, you can also post the patchfile here, but PRs are much nicer to work with.