Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
PortAddonPullRequest: same PR description with one or multiple ported…
… PRs Display ported PRs as list in PR description, even if only one has been ported, so platforms like GitHub can render such list nicely with helpful information (PR title, color and status).
- Loading branch information