tree ea082e2ab6c6cebc8733a720a537c25b469bc10d
parent dd49b557cfcd7fd806d1663f75c8b8d520bf13e0
author martinduke <martinduke@google.com> 1778690324 -0700
committer Copybara-Service <copybara-worker@google.com> 1778690349 -0700

Fix an issue from AI review of cl/914368728.

PiperOrigin-RevId: 914911566