I pushed the patch in master. Please let me know it works.

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