tree 237786571d374ff67e5f640864f46fe9e7432833
parent c7aae7b75e8591321dff1e9df77842619b116d15
author Thomas Guilbert <tguilbert@google.com> 1562958479 -0700
committer Thomas Guilbert <tguilbert@google.com> 1562958479 -0700

Small fixes from #352