On Thu, Dec 21, 2017 at 12:42 PM, Craig Ringer <cr...@2ndquadrant.com> wrote:
> On 21 December 2017 at 18:22, Magnus Hagander <mag...@hagander.net> wrote: > >> >> >> On Thu, Dec 21, 2017 at 8:20 AM, Craig Ringer <cr...@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. > > Yeah, makes sense. Moving this thread over to -hackers to get some more comments from there. -- Magnus Hagander Me: https://www.hagander.net/ <http://www.hagander.net/> Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>
