I wrote: > Andrew Dunstan <and...@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
