On Thu, Nov 9, 2023 at 06:40:55PM -0500, Bruce Momjian wrote: > On Sun, Oct 21, 2018 at 04:24:16PM -0400, Tom Lane wrote: > > Oleg Bartunov <obartu...@postgrespro.ru> writes: > > > The commit 9b5c8d45f62bd3d243a40cc84deb93893f2f5122 is now 10+ years > > > old, may be we could remove deprecated @@@ operator ? > > > > Is it actually causing any problem? AFAICS it's just a couple extra > > pg_operator entries, so why not leave it? > > > > I'd be +1 for removing it from the docs, though ... > > Done in the attached patch.
Patch applied to master. -- Bruce Momjian <br...@momjian.us> https://momjian.us EDB https://enterprisedb.com Only you can decide what is important to you.