K 10 svn:author V 4 bapt K 8 svn:date V 27 2013-03-23T19:12:58.453872Z K 7 svn:log V 164 Fix USE_GITHUB in combinaison with MASTER_SITE= GHC which breaks WRKSRC PR: ports/177316 Submitted by: William Grzybowski Reported by: miwi END