Valentin Clement =?utf-8?b?KOODkOODrOODsw=?Message-ID: In-Reply-To: <llvm.org/llvm/llvm-project/pull/77...@github.com>
clementval wrote: For some reason this PR has been closed when I merged the parent PR. I'll apply the suggestion and push the commit manually. https://github.com/llvm/llvm-project/pull/77804 _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits