Closing this issue -- if you have a patch that you think it fixes your issue, make a pull request in order to be reviewed and merged if all ok.

—
Reply to this email directly or view it on GitHub.