Synopsis: [patch] x11-themes/gtk-industrial-theme update State-Changed-From-To: open->closed State-Changed-By: marcus State-Changed-When: Tue Aug 3 00:21:19 GMT 2004 State-Changed-Why: Committed, thanks! http://www.freebsd.org/cgi/query-pr.cgi?pr=69928