Received: from malur.postgresql.org ([217.196.149.56])
	by arkaria.postgresql.org with esmtps
 (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <pgsql-committers-owner+archive@lists.postgresql.org>)
	id 1ly2ih-00071K-4W
	for pgsql-committers@arkaria.postgresql.org; Tue, 29 Jun 2021 01:39:23 +0000
Received: from localhost ([127.0.0.1] helo=malur.postgresql.org)
	by malur.postgresql.org with esmtp (Exim 4.92)
	(envelope-from <pgsql-committers-owner+archive@lists.postgresql.org>)
	id 1ly2id-0000Xj-Bi
	for pgsql-committers@arkaria.postgresql.org; Tue, 29 Jun 2021 01:39:19 +0000
Received: from makus.postgresql.org ([2001:4800:3e1:1::229])
	by malur.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <noah@leadboat.com>)
	id 1ly2fd-0005s6-Ev
	for pgsql-committers@lists.postgresql.org; Tue, 29 Jun 2021 01:36:13 +0000
Received: from mahout.postgresql.org ([2001:4800:3e1:1::227])
	by makus.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <noah@leadboat.com>)
	id 1ly2fX-0000Ml-BW
	for pgsql-committers@lists.postgresql.org; Tue, 29 Jun 2021 01:36:12 +0000
Received: from gemulon.postgresql.org ([2001:4800:3e1:1::198])
	by mahout.postgresql.org with esmtps
 (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <noah@leadboat.com>)
	id 1ly2fW-0004RJ-GM
	for pgsql-committers@lists.postgresql.org; Tue, 29 Jun 2021 01:36:06 +0000
Received: from localhost ([127.0.0.1] helo=gemulon.postgresql.org)
	by gemulon.postgresql.org with esmtp (Exim 4.92)
	(envelope-from <noah@leadboat.com>)
	id 1ly2fW-0002as-28
	for pgsql-committers@lists.postgresql.org; Tue, 29 Jun 2021 01:36:06 +0000
Content-Type: multipart/mixed; boundary="===============1717759036559351150=="
MIME-Version: 1.0
From: Noah Misch <noah@leadboat.com>
To: pgsql-committers@lists.postgresql.org
Subject: pgsql: In XLogFileInit(),
 fix *use_existent postcondition to suit calle
X-Auto-Response-Suppress: All
Auto-Submitted: auto-generated
Message-Id: <E1ly2fW-0002as-28@gemulon.postgresql.org>
Date: Tue, 29 Jun 2021 01:36:06 +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/E1ly2fW-0002as-28%40gemulon.postgresql.org>
Precedence: bulk

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

SW4gWExvZ0ZpbGVJbml0KCksIGZpeCAqdXNlX2V4aXN0ZW50IHBvc3Rjb25kaXRpb24gdG8gc3Vp
dCBjYWxsZXJzLgoKSW5mcmVxdWVudGx5LCB0aGUgbWlzbWF0Y2ggY2F1c2VkIGxvZ19jaGVja3Bv
aW50cyBtZXNzYWdlcyBhbmQKVFJBQ0VfUE9TVEdSRVNRTF9DSEVDS1BPSU5UX0RPTkUoKSB0byB3
aXRuZXNzIGFuICJhZGRlZCIgY291bnQgdG9vIGhpZ2gKYnkgb25lLiAgU2luY2UgdGhhdCBjb25z
ZXF1ZW5jZSBpcyBzbyBtaW5vciwgbm8gYmFjay1wYXRjaC4KCkRpc2N1c3Npb246IGh0dHBzOi8v
cG9zdGdyLmVzL20vMjAyMTAyMDIxNTE0MTYuR0IzMzA0OTMwQHJmZC5sZWFkYm9hdC5jb20KCkJy
YW5jaAotLS0tLS0KbWFzdGVyCgpEZXRhaWxzCi0tLS0tLS0KaHR0cHM6Ly9naXQucG9zdGdyZXNx
bC5vcmcvcGcvY29tbWl0ZGlmZi84NTY1NmJjMzA1MGYwODQ2ZjUzZGU5NTc2OGIwZjlmOWRmNDEw
NTYwCgpNb2RpZmllZCBGaWxlcwotLS0tLS0tLS0tLS0tLQpzcmMvYmFja2VuZC9hY2Nlc3MvdHJh
bnNhbS94bG9nLmMgfCAxMyArKysrKystLS0tLS0tCjEgZmlsZSBjaGFuZ2VkLCA2IGluc2VydGlv
bnMoKyksIDcgZGVsZXRpb25zKC0pCgo=

--===============1717759036559351150==--