Synopsis: man page ipmi.4 - driver will not first appear in 7.0 Responsible-Changed-From-To: freebsd-doc->gabor Responsible-Changed-By: gabor Responsible-Changed-When: Thu Dec 20 13:07:09 UTC 2007 Responsible-Changed-Why: I will take a look. http://www.freebsd.org/cgi/query-pr.cgi?pr=118523