PR 186767, ports/187252 fixed, please close

Anton Shterenlikht mexas at bris.ac.uk
Thu Mar 6 14:17:21 UTC 2014


The two PRs have been fixed:

http://www.freebsd.org/cgi/query-pr.cgi?pr=186767
http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/187252

Please close

Many thanks for fixing!

Anton


More information about the freebsd-ports mailing list