[GENERAL] Should I drop / create extensions after upgraging?

2012-08-23 Thread François Beausoleil
Hello all! I'm on Ubuntu 11.10, using 9.1.4. There was a new package for 9.1.5, and I just finished my upgrade. I make use of the uuid-ossp and tablefunc extensions. What is the expected upgrade procedure for these extensions? A drop followed by a create? Or is there something else less

Re: [GENERAL] Should I drop / create extensions after upgraging?

2012-08-23 Thread Tomas Vondra
On 23 Srpen 2012, 18:19, François Beausoleil wrote: Hello all! I'm on Ubuntu 11.10, using 9.1.4. There was a new package for 9.1.5, and I just finished my upgrade. I make use of the uuid-ossp and tablefunc extensions. What is the expected upgrade procedure for these extensions? A drop

Re: [GENERAL] Should I drop / create extensions after upgraging?

2012-08-23 Thread Tom Lane
Tomas Vondra t...@fuzzy.cz writes: On 23 Srpen 2012, 18:19, François Beausoleil wrote: I'm on Ubuntu 11.10, using 9.1.4. There was a new package for 9.1.5, and I just finished my upgrade. I make use of the uuid-ossp and tablefunc extensions. What is the expected upgrade procedure for these