Commit 7486f5fff385e45f3e8eb7bd68972a1dc43e1fe0 Parent 35535d582215d00ab1270ec2673e4fc3f5675b79 Author John MacFarlane <jgm@berkeley.edu> Date Wed, 13 May 2020 12:30:30 -0700 New lint target using clang-tidy.