tree 2dd2fa3c4ba61e9d18848d92333c974bacb97b44
parent 8b1be51f08f2945e709813ca09c260049b540f9f
author Mike Kruskal <mkruskal@google.com> 1679075462 -0700
committer Copybara-Service <copybara-worker@google.com> 1679075569 -0700

Switch option target to a repeated field

PiperOrigin-RevId: 517453262