Andrew Dunstan <and...@dunslane.net> writes: > On 6/28/21 10:44 AM, Tom Lane wrote: >> Wait ... I did already, at 5a0f1c8c0. Are you sure you were indenting >> current HEAD?
> No, see revised patch. I posted at 10.13
Right, new version looks better.
regards, tom lane
