tree db4763ba9182d28012f982e082a30c2bd4f35f28
parent 4e1ef9a9602684742c33a48db827005adcc93286
author Tony Hsu <gosharplite@gmail.com> 1574072492 -0800
committer Copybara-Service <copybara-worker@google.com> 1574072548 -0800

Fix minor typo

Closes #10217.

PiperOrigin-RevId: 281024813