tree bfb181ebf62b8a9f67fef449c29cade667a07995
parent dc42c7d82413159f39f656f07748503ffe866681
author Kevin Moore <kevmoo@google.com> 1559152002 -0700
committer Kevin Moore <kevmoo@google.com> 1559152552 -0700

enable and fix a number of lints