Pushed, after going through the patch once more, running check-world
under valgrind, and updating the commit message.
Thanks to everyone who reviewed/tested this patch!
--
Tomas Vondra
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company