mirror of https://github.com/hashicorp/consul
Browse Source
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.pull/8507/head
Hans Hasselberg
4 years ago
committed by
GitHub
1 changed files with 1 additions and 1 deletions
Loading…
Reference in new issue