On 12.07.22 20:29, Peter Eisentraut wrote:> Updated patch, to resolve some merge conflicts.
Rebased patch, no new functionality