tblah wrote: I merged manually, because github doesn't seem to have noticed that the previous PR was already merged. See df5c27869c84ed6d6e61f03ac6e7a83e42d7dbd9 https://github.com/llvm/llvm-project/pull/68414