K 10 svn:author V 3 jgh K 8 svn:date V 27 2013-07-17T23:32:02.250362Z K 7 svn:log V 147 - attempt to fix fetch from third-party - add to public_distfiles while here as this issue has come up too often lately Reported by: pkg-fallout@ END