[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 invasiv

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 f

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

2012-08-23 Thread Tom Lane
"Tomas Vondra" 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 extensi