On Wed, 2023-03-08 at 17:30 +0100, Peter Eisentraut wrote:> So should we withdraw the patch from the commit fest?
Withdrawn. If someone else is interested we can still pursue someimprovements.
Regards, Jeff Davis