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-bugs-owner+archive@lists.postgresql.org>)
	id 1jeeti-0001lT-Io
	for pgsql-bugs@arkaria.postgresql.org; Fri, 29 May 2020 13:18:06 +0000
Received: from localhost ([127.0.0.1] helo=malur.postgresql.org)
	by malur.postgresql.org with esmtp (Exim 4.92)
	(envelope-from <pgsql-bugs-owner+archive@lists.postgresql.org>)
	id 1jeetg-0006cz-Iw
	for pgsql-bugs@arkaria.postgresql.org; Fri, 29 May 2020 13:18:04 +0000
Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29])
	by malur.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <tgl@sss.pgh.pa.us>)
	id 1jeetg-0006b2-CU
	for pgsql-bugs@lists.postgresql.org; Fri, 29 May 2020 13:18:04 +0000
Received: from sss.pgh.pa.us ([66.207.139.130])
	by magus.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <tgl@sss.pgh.pa.us>)
	id 1jeetd-0006Jt-RG
	for pgsql-bugs@lists.postgresql.org; Fri, 29 May 2020 13:18:03 +0000
Received: from pro.sss.pgh.pa.us (localhost [127.0.0.1])
	by sss.pgh.pa.us (8.15.2/8.15.2) with ESMTP id 04TDHwhG001546;
	Fri, 29 May 2020 09:17:58 -0400
From: Tom Lane <tgl@sss.pgh.pa.us>
To: Michael Paquier <michael@paquier.xyz>
cc: Andrey Klychkov <aaklychkov@mail.ru>,
        Peter Eisentraut <peter.eisentraut@2ndquadrant.com>,
        pgsql-bugs@lists.postgresql.org
Subject: Re: Re[2]:
In-reply-to: <20200529052939.GD44192@paquier.xyz>
References: <1590486572.205117372@f500.i.mail.ru>
 <cca87255-7dea-6aac-2e9a-35dfe3776122@2ndquadrant.com>
 <1590501239.839686286@f437.i.mail.ru> <17907.1590504619@sss.pgh.pa.us>
 <20200527074736.GG103662@paquier.xyz> <5816.1590581923@sss.pgh.pa.us>
 <20200528065948.GC3460@paquier.xyz> <6214.1590671660@sss.pgh.pa.us>
 <20200529052939.GD44192@paquier.xyz>
Comments: In-reply-to Michael Paquier <michael@paquier.xyz>
	message dated "Fri, 29 May 2020 14:29:39 +0900"
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <9917.1590758278.1@sss.pgh.pa.us>
Date: Fri, 29 May 2020 09:17:58 -0400
Message-ID: <9918.1590758278@sss.pgh.pa.us>
List-Id: <pgsql-bugs.lists.postgresql.org>
List-Help: <https://lists.postgresql.org/manage/>
List-Subscribe: <https://lists.postgresql.org/manage/>
List-Post: <mailto:pgsql-bugs@lists.postgresql.org>
List-Owner: <mailto:pgsql-bugs-owner@lists.postgresql.org>
List-Archive: <https://www.postgresql.org/list/pgsql-bugs>
Precedence: bulk

Michael Paquier <michael@paquier.xyz> writes:
> Agreed.  Here is a patch for 12~.  Please let me know if that's fine
> for you.

Sure, works for me.

			regards, tom lane