tree 0bf64638293a2f7bf53f18e32a18e079a7755374
parent 015c3195d0cbe71abee735d74195663fb6f142ae
author Kevin Moore <kevmoo@google.com> 1554433903 -0700
committer Kevin Moore <kevmoo@users.noreply.github.com> 1554473597 -0700

Fix output from tool/stats_lib