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