tree 9092b34ae16bb1462c53c51fe337401f25ac6d6f
parent d7084b28121ac068b106a3683abb9f6cd76b58aa
author Kevin Moore <kevmoo@google.com> 1585239129 -0700
committer Kevin Moore <kevmoo@users.noreply.github.com> 1591646976 -0700

remove lints duplicated by pedantic