Re: The pg_indent on on ftp is outdated

On 21 December 2017 at 18:22, Magnus Hagander <magnus@hagander.net> wrote:

On Thu, Dec 21, 2017 at 8:20 AM, Craig Ringer <craig@2ndquadrant.com> wrote:

Hi all

The pg_indent on www is outdated, and doesn't understand --version .

https://www.postgresql.org/ftp/dev/

It might make sense to add a README there that mentions it's obsolete and now lives at https://git.postgresql.org/git/pg_bsd_indent.git (or just "see src/tools/pgindent/README).

Is there a reason to keep it at all if its obsolete, or should we just delete it? 

I don't know of any, but it might be worth checking on -hackers or cc'ing Tom etc.