jeanPerier wrote: > @jeanPerier could you merge it ? I am not here next week, so I would rather not merge a patch and not watch the build bots, but I am happy to merge it when I am back if no else does. https://github.com/llvm/llvm-project/pull/71691