On 6/28/21 10:44 AM, Tom Lane wrote: > 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? > >
No, see revised patch. I posted at 10.13 cheers andrew -- Andrew Dunstan EDB: https://www.enterprisedb.com
