Re: Pgadmin III is officially not supported

On Wed, Apr 18, 2018 at 09:14:29AM +0000, PG Doc comments form wrote:
> The following documentation comment has been logged on the website:
> 
> Page: https://www.postgresql.org/docs/10/static/external-admin-tools.html
> Description:
> 
> Hi guys,
> Despite the fact that pgadmin III is indeed the most popular tool, it is
> officially no longer supported (see: https://www.pgadmin.org/download/), and
> the link in docs leads to pgadmin 4. Maybe worth of changing?..

Ah, I see what you mean.  I have removed the "III" text from the doc
link. Patch attached and backpatched through 9.3.  Thanks.

-- 
  Bruce Momjian  <bruce@momjian.us>        http://momjian.us
  EnterpriseDB                             http://enterprisedb.com

+ As you are, so once was I.  As I am, so you will be. +
+                      Ancient Roman grave inscription +