On Mon, Dec 4, 2017 at 11:48 PM, Tom Lane <t...@sss.pgh.pa.us> wrote: > Rudy Barbieri <barbiomalef...@gmail.com> writes: >> But it could be better improve the documentation highlighting that in >> previous versions there was a bug. > > I see no bug here ... failing to recognize an operator that was added in > later versions can hardly be classed as a bug.
If you wish to have a given operator supported in a past version of Postgres, you could have it done in the shape of an extension as well. There are many people and companies able to do so if you cannot. -- Michael
