tree f26f5c34257dc1ca6f0ffe080ffd049f399ea4da
parent 10ef1f6b2eb0d880c3dbcce935b6325094659d53
author Kevin Moore <kevmoo@google.com> 1581701263 -0800
committer Kevin Moore <kevmoo@users.noreply.github.com> 1581702782 -0800

Remove redundant pedantic lints