My original plan was to solve #728, and to study the root cause of that, so I thought it maybe handy to use this debug option. But if it is out-of-date then it is not quite useful. Then please ignore/remove the pull request and give me a hint how to solve it.

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