Andrew Dunstan <andrew(at)dunslane(dot)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