PR

PR #%1$d
PR stands for "Pull request" here. If your language doesn't have a very popular expression for this, please keep it in English.
8
Applied
PR #%1$d
8/8
Ádám Bokor, Jun 18, 2022 at 11:40