ports/71180: [update port] database/postgresql72 from 7.2.4 to 7.2.5

[Palle Girgensohn]

The following reply was made to PR ports/71180; it has been noted by GNATS.

From: Palle Girgensohn <girgen at pingpong.net>
To: freebsd-gnats-submit at FreeBSD.org, sugimura at jp.FreeBSD.org
Cc:  
Subject: Re: ports/71180: [update port] database/postgresql72 from 7.2.4 to
 7.2.5
Date: Tue, 31 Aug 2004 14:32:04 +0200

 Looks great, please commit!
 
 /Palle / Maintainer