Can you provide more details when it happens the case this PR tries to fix?
Also, do not do formatting and logs changes in a commit that fixes an issue, it makes it harder to understand what is related to what. Do formatting/log changes in a separate PR.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.