On Wed, Jan 4, 2017 at 7:16 PM, Tim Shen <timshen@google.com> wrote: > Since it's an obvious textual fix, I'm going to check it in directly. Checked in with 80-columns limit respected. I have confusing tabstop settings... :/ -- Regards, Tim Shen