luamfb wrote: By the way, I don't think I can merge this PR myself, maybe because I don't have write access to the repository. (At least, I see no "Squash and Merge" button anywhere.) https://github.com/llvm/llvm-project/pull/68368