You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
The guidelines are for commit message, not for pull request title and comments. I made the proposed change manually myself this time, see commit 59b4a82 .
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.