Fix ports missed in r381777, which changed DISTNAME for USE_GITHUB+GH_TAGNAME,
due to being changed between review+commit.
With hat: portmgr
Description
Description
Details
Details
- Provenance
bdrewery Authored on - Parents
- rP381777: For the new USE_GITHUB with only GH_TAGNAME set default DISTNAME to
- Branches
- Unknown
- Tags