I am closing this one, the patch has been pushed more than one month ago, with no follow up here.

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