694bdebc19
Fixes #2107. Co-authored-by: Alessio Quaglino <quaglino@google.com> PiperOrigin-RevId: 684419740 Change-Id: Ia73e719bd37503563223ed92f4dbe0ae07eef300