Does anyone want to update www.pgsql.com's download section to send version 7.2 instead of 7.1.1?
David