Merge "Increase precision of some debug stats output for corpus VBR."
authorPaul Wilkins <paulwilkins@google.com>
Thu, 19 Oct 2017 10:07:30 +0000 (10:07 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Thu, 19 Oct 2017 10:07:30 +0000 (10:07 +0000)

Trivial merge