mirror of
https://github.com/status-im/consul.git
synced 2025-01-10 13:55:55 +00:00
b86c018a19
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.