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 some improvements. Regards, Jeff Davis
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 some improvements. Regards, Jeff Davis