Magnus Hagander <magnus@hagander.net> writes:
> On Thu, Dec 21, 2017 at 12:42 PM, Craig Ringer <craig@2ndquadrant.com>
> wrote:
>>> The pg_indent on www is outdated, and doesn't understand --version .
>>> https://www.postgresql.org/ftp/dev/
> Is there a reason to keep it at all if its obsolete, or should we just
> delete it?
The only reason I can think of why someone might still want that version
is if they're doing hacking on a pre-v10 branch and would like to indent
accordingly. If we have someplace for historical versions, I'd suggest
moving this tarball to there, and replacing it with a README that says
"go here for pre-v10 pgindent, or there for modern versions".
regards, tom lane
