On Mon, Dec 4, 2017 at 11:48 PM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> Rudy Barbieri <barbiomalefico@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