mirror of
https://github.com/status-im/consul.git
synced 2025-01-24 20:51:10 +00:00
7f08519888
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.