AlexandreEichenberger wrote: I responded to comments, would it be possible to merge the PR? I don't see a merge button, presumably I don't have access to that functionality. Thanks https://github.com/llvm/llvm-project/pull/151261