@quentusrex: thanks, updating the patch will make the merge easier -- don't forget to make it for master branch.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub