On 09.03.23 20:23, Jeff Davis wrote:> On Thu, 2023-03-09 at 11:21 +0100, Peter Eisentraut wrote:>> How about this patch version?> > Looks good to me.
Committed, after adding a test.