tree 6ada01a4c6c8ca1677236a38ef731fd048bbda20
parent 127e89fc757406ba3d95ffe3668382955f70296f
author Tor Jeremiassen <torerik@google.com> 1752854614 -0700
committer Tor Jeremiassen <torerik@google.com> 1752861220 -0700

Fixes a build problem

PiperOrigin-RevId: 784598918
Change-Id: I30958c71ba3d2309acfe27d16aa23619cc230a55