tree 887035e6fc3c24bd47288fccc7155458c155b7e3
parent 9c27848241c3b1f88bfe8c47eacc22c0b923b410
author Dmitri Gribenko <dmitrig@google.com> 1689593110 -0700
committer Copybara-Service <copybara-worker@google.com> 1689593149 -0700

Add a missing 'override'

PiperOrigin-RevId: 548647938
Change-Id: I5003135e53dd15e303ff3882ab84c2b12fd2a1a7