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?
regards, tom lane