tree 772b7440283b33f80a43f4944a150d000df7199b
parent 213f251046f8a7df969d5dd381ff6fa313b7a341
author Kevin Moore <kevmoo@google.com> 1579719488 -0800
committer Kevin Moore <kevmoo@users.noreply.github.com> 1579723578 -0800

Fix a number of doc comments

Enable corresponding lint