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.
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.