makslevental wrote: > We could use other words (e.g. address) because this makes GitHub automatically close the issue when the PR is merged. Why would we close when this PR > does **not** resolve #108253. https://github.com/llvm/llvm-project/pull/173241