Did everything work fine with the patch after all these days? If yes, then I will commit the change.

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