I wrote:> Barring objections, I'd like to reindent HEAD with the new version> of pg_bsd_indent (and correspondingly updated pgindent script)> tomorrow, say around 1800 UTC.
... and it's done.
regards, tom lane