tree b678c4e3159d5257b1905c1edd2dca748c011b4b
parent 7d5228ca0e3f42a28d3c6c489011feba6de201dc
author Kevin Moore <kevmoo@google.com> 1582735334 -0800
committer Kevin Moore <kevmoo@google.com> 1582735334 -0800

enable and fix a number of additional lints