658c4cad0b
Issue and PR numbers do not overlap, they are based of the same counter. A PR can be also linked to via issues, if it is a PR, Github will redirect to it. This change has the benefit that one can link to both - issues and PRs. |
||
|---|---|---|
| .. | ||
| 7628.txt | ||
| 7899.txt | ||
| 7970.txt | ||
| 8158.txt | ||
| 8190.txt | ||
| 8194.txt | ||
| 8211.txt | ||
| 8216.txt | ||
| 8218.txt | ||
| 8222.txt | ||
| 8268.txt | ||
| 8311.txt | ||
| 8343.txt | ||
| 8371.txt | ||
| 8470.txt | ||
| changelog.tmpl | ||
| note.tmpl | ||