Hi,
I seem to recall that someone on the list here is responsible for the
databases/postgresql7 port on FreeBSD?
If so, then could you create a new port for 7.2 (ie.
databases/postgresql72), and leave the current one as 7.1.3 - it would be a
Good Thing(tm).
Cheers,
Chris