[Mlir-commits] [mlir] [MLIR][Python] Extend bindings for external projects without duplication (PR #173241)
Sylvain Noiry
llvmlistbot at llvm.org
Tue Dec 23 07:16:40 PST 2025
ElectrikSpace wrote:
> > ... resolve #108253.
>
> We could use other words (e.g. address) because [this makes GitHub automatically close the issue when the PR is merged](https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue).
Oohh sorry I was not aware that this message from github was because I use this word.
https://github.com/llvm/llvm-project/pull/173241
More information about the Mlir-commits
mailing list