citymarina wrote: @davemgreen since I don't have commit access, would you be able to merge this for me? Florian may not be able to respond for a while so we probably shouldn't wait for him. https://github.com/llvm/llvm-project/pull/101014