In #5268 we modified just a doc file, missing a final newline at the end. Because it had no code changes, we did not run the `lint` step. Any following PR with code changes will have a linter error in a file it doesn't touch.
In #5268 we modified just a doc file, missing a final newline at the end. Because it had no code changes, we did not run the
lintstep.Any following PR with code changes will have a linter error in a file it doesn't touch.