EdJoPaTo wrote: > Do you want me to merge it? Or do you have rights to do so? In case this asks me: I never contributed to this repo, I have no permissions to do so. https://github.com/llvm/llvm-project/pull/93080