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.