push
github
changelog: fix grammar in one changelog entry The documentation comments came to the backport PRs. It would be strange to fix the grammar in the backported entries, while keeping it suboptimal in master. Follow up #9965 NO_DOC=internal NO_TEST=doc (cherry picked from commit ceadd1e81)
63425 of 114776 branches covered (55.26%)
94351 of 109692 relevant lines covered (86.01%)
2167421.79 hits per line