Thank you, I will merge it. There is one particular long log message line that I will also probably fix with another commit.

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