Synopsis: bochs port does not offer PCI device option Responsible-Changed-From-To: freebsd-ports-bugs->anholt Responsible-Changed-By: naddy Responsible-Changed-When: Fri Jun 6 11:02:20 PDT 2003 Responsible-Changed-Why: over to maintainer http://www.freebsd.org/cgi/query-pr.cgi?pr=52631