Merge "Fix issues with bits allocated and consumed"
authorJingning Han <jingning@google.com>
Mon, 22 Apr 2019 04:59:04 +0000 (04:59 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Mon, 22 Apr 2019 04:59:04 +0000 (04:59 +0000)

Trivial merge