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.



Reply via email to