On 6/28/21 10:44 AM, Tom Lane wrote:
> I wrote:
>> Andrew Dunstan <andrew@dunslane.net> writes:
>>> I'll let Tom speak for himself, but I somewhat doubt he meant the code
>>> to stay badly indented for more than a short period of time.
>> I did not. If you can give me an hour or so, I'll get the patch
>> I previously proposed [1] committed, and then this issue will go away.
> Wait ... I did already, at 5a0f1c8c0. Are you sure you were indenting
> current HEAD?
>
>
No, see revised patch. I posted at 10.13
cheers
andrew
--
Andrew Dunstan
EDB: https://www.enterprisedb.com