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 <br...@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 +
