Synopsis: [update port] database/postgresql72 from 7.2.4 to 7.2.5 State-Changed-From-To: feedback->closed State-Changed-By: eik State-Changed-When: Tue Aug 31 15:47:35 CEST 2004 State-Changed-Why: Committed, thanks! http://www.freebsd.org/cgi/query-pr.cgi?pr=71180