Synopsis: core dumps with NODUMP flag Responsible-Changed-From-To: freebsd-bugs->jmg Responsible-Changed-By: jmg Responsible-Changed-When: Sun Sep 21 13:22:43 PDT 2003 Responsible-Changed-Why: I said I'd take over this feature request http://www.freebsd.org/cgi/query-pr.cgi?pr=57065