marbre wrote: > > > If not, I think this is ready to be merged. > > > > > > Do you want one of us to merge on your behalf? > > Yes, please! This would be merged with an email address only. Do you want to add your name or is just the email fine for you? https://github.com/llvm/llvm-project/pull/119645