8 ms·

I read it as a separate diff 200 lines later. But I guess pull requests could easily have that big diffs in a public repo