Thank you very much for this! I've merged in your commit. I think because you first made a pull request against your own master branch, there was an extra merge commit. I've sorted it out so our branch doesn't have that commit. I've added your name to CONTRIBUTORS.md.
Thank you very much for this! I've merged in your commit. I think because you first made a pull request against your own master branch, there was an extra merge commit. I've sorted it out so our branch doesn't have that commit. I've added your name to
CONTRIBUTORS.md
.Thanks again!