Ben closed the sincere and well-meant patch, saying, "Sorry, not interested in trivial changes like that." He didn't just participate in the drama; he started it.

Non-drama options would be things like: asking the contributor more, asking a colleague to look it over, asking a native speaker why it mattered, and just moving past the pull request and leaving it for somebody who cared.

Looking at the IRC log, here's a weirdery: The initial patch (47d98b6) and the merge commit isaacs made (5812e19) both appear in the IRC log. bnoordhuis' revert (804d40e) doesn't. In fact, the revert isn't discussed at all.