Synopsis: port-upgrade: multimedia/linux-divx4plugin (fix broken header files) State-Changed-From-To: open->closed State-Changed-By: daichi State-Changed-When: Thu Jun 19 01:57:01 PDT 2003 State-Changed-Why: Committed. Thanks! http://www.freebsd.org/cgi/query-pr.cgi?pr=53418