3 ms·
And worth noting for anyone who didn't read the original pull request, the case here is documentation switching references to an unknown person from "he/her" to
by garblegarble 5y ago
And worth noting for anyone who didn't read the original pull request, the case here is documentation switching references to an unknown person from "he/her" to "their" (a change which I think actually makes it easier to read).