tree 780644430aee24432c85d21ef5e60b476dd57fc7
parent 120c25b85a126c383f0304dbae7487775b70817b
author Fangrui Song <i@maskray.me> 1707509382 -0800
committer Copybara-Service <copybara-worker@google.com> 1707509541 -0800

[ELF] Apply forgotten change to #81223

GitOrigin-RevId: 5f26b902d59b98ffa450f7bae508b330d0184d0d