Thanks! Pushed a patch for it in master and 5.0 branches. Reopen if still a problem.

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