tree 48ebbde3049b666de230f57bf18cb644042cedd0
parent 384fe87b7c154774702543c665e385c13b1f7535
author davg <davg@google.com> 1592939461 -0400
committer David Goldman <davg@google.com> 1593460355 -0400

Update terminology

PiperOrigin-RevId: 317915533