Hi,
This patchs allows the user to add/change/drop an extension. It's afairly simple patch, nothing more to add.
Any comments?
-- Guillaume http://www.postgresql.fr http://dalibo.com