Merge "Record gop size"
authorJingning Han <jingning@google.com>
Tue, 16 Oct 2018 21:07:55 +0000 (21:07 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Tue, 16 Oct 2018 21:07:55 +0000 (21:07 +0000)

Trivial merge