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

Anton Shterenlikht mexas at
Fri Mar 7 12:35:03 UTC 2014

I cannot reproduce the problems
described in these 2 PRs:

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

Many thanks


More information about the freebsd-ports mailing list