Re: [HACKERS] Change of extension name to new name

2016-10-13 Thread Andres Freund
On October 13, 2016 10:12:26 PM PDT, Craig Ringer wrote: >On 13 October 2016 at 12:37, Tom Lane wrote: >> Haribabu Kommi writes: >>> As we are planning to change an extension name from one name to >another >>> name because

Re: [HACKERS] Change of extension name to new name

2016-10-13 Thread Craig Ringer
On 13 October 2016 at 12:37, Tom Lane wrote: > Haribabu Kommi writes: >> As we are planning to change an extension name from one name to another >> name because of additional features that are added into this extension, > > The usual approach to that

Re: [HACKERS] Change of extension name to new name

2016-10-12 Thread Tom Lane
Haribabu Kommi writes: > As we are planning to change an extension name from one name to another > name because of additional features that are added into this extension, The usual approach to that is just to increase the version number. Why is it necessary to change

[HACKERS] Change of extension name to new name

2016-10-12 Thread Haribabu Kommi
Hi All, As we are planning to change an extension name from one name to another name because of additional features that are added into this extension, so the name is not matching, so we decided to change the name, but it is causing problem to the already existing installations with old extension