please close PR: ports/180999, 184139 - both fixed

Anton Shterenlikht mexas at bris.ac.uk
Fri Mar 7 12:35:03 UTC 2014


I cannot reproduce the problems
described in these 2 PRs:

http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/180999
http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/184139

I guess this means the problems have been fixed,
perhaps as a by-product of other changes.

Many thanks

Anton


More information about the freebsd-ports mailing list