=?utf-8?q?Léon?= Frenot <leon.frenot at ens-lyon.fr> Message-ID: In-Reply-To: <llvm.org/llvm/llvm-project/pull/115327 at github.com> lfrenot wrote: If everything is fixed, is it possible for someone with write access to merge the PR? https://github.com/llvm/llvm-project/pull/115327