On 22.03.22 00:51, Nathan Bossart wrote:
> On Wed, Mar 16, 2022 at 11:12:06AM +0100, Peter Eisentraut wrote:
>> Right, the previous behaviors were clearly faulty. I have updated the
>> commit message to call out the behavior change more clearly.
>>
>> This patch is now complete from my perspective.
>
> I took a look at this patch and found nothing of concern.
committed