I am going to merge it.
For the future, when writing the commit messages, use the guidelines from:
—Reply to this email directly or view it on GitHub.