Thanks, I pushed the changes from PR manually, to have a single commit and a better commit message, because it is not a fix, but adding to a log message. Also, the indentation adjustments were done with whitespaces, not using the same style from the existing code.

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