Received: from malur.postgresql.org ([217.196.149.56])
	by arkaria.postgresql.org with esmtps
 (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA384:256)
	(Exim 4.89)
	(envelope-from <pgsql-hackers-owner+archive@lists.postgresql.org>)
	id 1gEKGy-00057V-B9
	for pgsql-hackers@arkaria.postgresql.org; Sun, 21 Oct 2018 20:24:28 +0000
Received: from localhost ([127.0.0.1] helo=malur.postgresql.org)
	by malur.postgresql.org with esmtp (Exim 4.89)
	(envelope-from <pgsql-hackers-owner+archive@lists.postgresql.org>)
	id 1gEKGw-0005OP-4p
	for pgsql-hackers@arkaria.postgresql.org; Sun, 21 Oct 2018 20:24:26 +0000
Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29])
	by malur.postgresql.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA384:256)
	(Exim 4.89)
	(envelope-from <tgl@sss.pgh.pa.us>)
	id 1gEKGv-0005OI-U5
	for pgsql-hackers@lists.postgresql.org; Sun, 21 Oct 2018 20:24:25 +0000
Received: from sss.pgh.pa.us ([66.207.139.130])
	by magus.postgresql.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA384:256)
	(Exim 4.89)
	(envelope-from <tgl@sss.pgh.pa.us>)
	id 1gEKGt-0004a2-Az
	for pgsql-hackers@postgresql.org; Sun, 21 Oct 2018 20:24:25 +0000
Received: from sss1.sss.pgh.pa.us (localhost [127.0.0.1])
	by sss.pgh.pa.us (8.14.4/8.14.4) with ESMTP id w9LKOGEt018740;
	Sun, 21 Oct 2018 16:24:16 -0400
From: Tom Lane <tgl@sss.pgh.pa.us>
To: Oleg Bartunov <obartunov@postgrespro.ru>
cc: Pgsql Hackers <pgsql-hackers@postgresql.org>
Subject: Re: remove deprecated @@@ operator ?
In-reply-to: 
 <CAF4Au4wmUsZRVhR+ySpvabRfB_1D1fnrPY9TRAKO2DEbi4Cpgg@mail.gmail.com>
References: 
 <CAF4Au4wmUsZRVhR+ySpvabRfB_1D1fnrPY9TRAKO2DEbi4Cpgg@mail.gmail.com>
Comments: In-reply-to Oleg Bartunov <obartunov@postgrespro.ru>
	message dated "Sun, 21 Oct 2018 23:14:34 +0300"
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <18738.1540153456.1@sss.pgh.pa.us>
Date: Sun, 21 Oct 2018 16:24:16 -0400
Message-ID: <18739.1540153456@sss.pgh.pa.us>
List-Id: <pgsql-hackers.lists.postgresql.org>
List-Help: <https://lists.postgresql.org/manage/>
List-Subscribe: <https://lists.postgresql.org/manage/>
List-Post: <mailto:pgsql-hackers@lists.postgresql.org>
List-Owner: <mailto:pgsql-hackers-owner@lists.postgresql.org>
List-Archive: <https://www.postgresql.org/list/pgsql-hackers>
Precedence: bulk

Oleg Bartunov <obartunov@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 ...

			regards, tom lane