Sorry for the trouble.
No problem, just a note, if you want to make a request better to make it on a new issue, not a comment on a merged and closed 4 year old pull request, its almost certain to be lost there :-)
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.