tree ef9f089a1061a99ce02b168ca13a5a328f96e42a
parent ab1ac19da3f12a93bc794f63d46f00d1e65dde6a
author nglevin <nglevin@google.com> 1517603422 -0500
committer David Goldman <davg@google.com> 1518104307 -0500

Fast follow, remove extra flush.

PiperOrigin-RevId: 184318887