K 10
svn:author
V 8
bdrewery
K 8
svn:date
V 27
2015-03-20T20:17:24.280658Z
K 7
svn:log
V 142
Fix ports missed in r381777, which changed DISTNAME for USE_GITHUB+GH_TAGNAME,
due to being changed between review+commit.

With hat:	portmgr

END