Received: from malur.postgresql.org ([217.196.149.56])
	by arkaria.postgresql.org with esmtps  (TLS1.3) tls
 TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384
	(Exim 4.94.2)
	(envelope-from <pgsql-committers-owner+archive@lists.postgresql.org>)
	id 1ros8K-003q0R-27
	for pgsql-committers@arkaria.postgresql.org; Mon, 25 Mar 2024 21:45:32 +0000
Received: from localhost ([127.0.0.1] helo=malur.postgresql.org)
	by malur.postgresql.org with esmtp (Exim 4.94.2)
	(envelope-from <pgsql-committers-owner+archive@lists.postgresql.org>)
	id 1ros8I-008PeN-Kx
	for pgsql-committers@arkaria.postgresql.org; Mon, 25 Mar 2024 21:45:31 +0000
Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29])
	by malur.postgresql.org with esmtps  (TLS1.3) tls
 TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384
	(Exim 4.94.2)
	(envelope-from <tgl@sss.pgh.pa.us>)
	id 1ros8I-008Pdy-DE
	for pgsql-committers@lists.postgresql.org; Mon, 25 Mar 2024 21:45:30 +0000
Received: from mahout.postgresql.org ([2001:4800:3e1:1::227])
	by magus.postgresql.org with esmtps  (TLS1.3) tls
 TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384
	(Exim 4.94.2)
	(envelope-from <tgl@sss.pgh.pa.us>)
	id 1ros8F-006TLS-Qd
	for pgsql-committers@lists.postgresql.org; Mon, 25 Mar 2024 21:45:30 +0000
Received: from gemulon.postgresql.org ([2001:4800:3e1:1::198])
	by mahout.postgresql.org with esmtps  (TLS1.3) tls
 TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384
	(Exim 4.94.2)
	(envelope-from <tgl@sss.pgh.pa.us>)
	id 1ros8E-000EU5-Gc
	for pgsql-committers@lists.postgresql.org; Mon, 25 Mar 2024 21:45:26 +0000
Received: from localhost ([127.0.0.1] helo=gemulon.postgresql.org)
	by gemulon.postgresql.org with esmtp (Exim 4.94.2)
	(envelope-from <tgl@sss.pgh.pa.us>)
	id 1ros8D-005dr2-D4
	for pgsql-committers@lists.postgresql.org; Mon, 25 Mar 2024 21:45:25 +0000
Content-Type: multipart/mixed; boundary="===============3607011074005624297=="
MIME-Version: 1.0
From: Tom Lane <tgl@sss.pgh.pa.us>
To: pgsql-committers@lists.postgresql.org
Subject: pgsql: Refactor predicate_{implied,refuted}_by_simple_clause.
X-Auto-Response-Suppress: All
Auto-Submitted: auto-generated
Message-Id: <E1ros8D-005dr2-D4@gemulon.postgresql.org>
Date: Mon, 25 Mar 2024 21:45:25 +0000
List-Id: <pgsql-committers.lists.postgresql.org>
List-Help: <https://lists.postgresql.org/manage/>
List-Subscribe: <https://lists.postgresql.org/manage/>
List-Post: <mailto:pgsql-committers@lists.postgresql.org>
List-Owner: <mailto:pgsql-committers-owner@lists.postgresql.org>
List-Archive: <https://www.postgresql.org/list/pgsql-committers>
Archived-At: 
 <https://www.postgresql.org/message-id/E1ros8D-005dr2-D4%40gemulon.postgresql.org>
Precedence: bulk

--===============3607011074005624297==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64

UmVmYWN0b3IgcHJlZGljYXRlX3tpbXBsaWVkLHJlZnV0ZWR9X2J5X3NpbXBsZV9jbGF1c2UuCgpQ
dXQgdGhlIG5vZGUtdHlwZS1kZXBlbmRlbnQgb3BlcmF0aW9ucyBpbnRvIHN3aXRjaGVzIG9uIG5v
ZGVUYWcuClRoaXMgc2hvdWxkIGVhc2UgYWRkaXRpb24gb2YgbmV3IHByb29mIHJ1bGVzIGZvciBv
dGhlciBleHByZXNzaW9uCm5vZGUgdHlwZXMuICBUaGVyZSBpcyBubyBmdW5jdGlvbmFsIGNoYW5n
ZSwgYWx0aG91Z2ggc29tZSB0ZXN0cwphcmUgbWFkZSBpbiBhIGRpZmZlcmVudCBvcmRlciB0aGFu
IGJlZm9yZS4KCkFsc28sIGFkZCBhIGNvdXBsZSBvZiBuZXcgY3Jvc3MtY2hlY2tzIGluIHRlc3Rf
cHJlZHRlc3QuYy4KCkphbWVzIENvbGVtYW4gKHBhcnQgb2YgYSBsYXJnZXIgcGF0Y2ggc2VyaWVz
KQoKRGlzY3Vzc2lvbjogaHR0cHM6Ly9wb3N0Z3IuZXMvbS9DQUFhcVllOEJvNGJmX2k2cUtqOEtC
c21ITVlYaGUzWHQ2dk9lM09CUW5PYWYzX1hCV2dAbWFpbC5nbWFpbC5jb20KCkJyYW5jaAotLS0t
LS0KbWFzdGVyCgpEZXRhaWxzCi0tLS0tLS0KaHR0cHM6Ly9naXQucG9zdGdyZXNxbC5vcmcvcGcv
Y29tbWl0ZGlmZi9jNzA3NmJhNmFkMWMyZGMyZWQ1MDQ5NmI3ZWM3MWRhZWJmZTUzMjdjCgpNb2Rp
ZmllZCBGaWxlcwotLS0tLS0tLS0tLS0tLQpzcmMvYmFja2VuZC9vcHRpbWl6ZXIvdXRpbC9wcmVk
dGVzdC5jICAgICAgICAgIHwgMzY1ICsrKysrKysrKysrKysrKystLS0tLS0tLS0Kc3JjL3Rlc3Qv
bW9kdWxlcy90ZXN0X3ByZWR0ZXN0L3Rlc3RfcHJlZHRlc3QuYyB8ICAyOSArKwoyIGZpbGVzIGNo
YW5nZWQsIDI1OCBpbnNlcnRpb25zKCspLCAxMzYgZGVsZXRpb25zKC0pCgo=

--===============3607011074005624297==--