Merge "tools/lint-hunks.py: skip third_party files"
authorJames Zern <jzern@google.com>
Fri, 19 Jun 2020 18:15:00 +0000 (18:15 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Fri, 19 Jun 2020 18:15:00 +0000 (18:15 +0000)

Trivial merge