A patch that might have been the cause was reverted. Being an old issue without follow up, I am going to close it. Reopen if still an issue, providing new details using the latest versions from git branches.

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