Re: [HACKERS] [PATCH] Remove defunct and unnecessary link

2017-03-17 Thread Robert Haas
On Thu, Mar 16, 2017 at 6:30 PM, David Christensen wrote: > The HA docs reference a “glossary” link which is no longer accessible, nor is > it likely to be useful in general to link off-site IMHO. This simple patch > removes this link. Committed and back-patched. Thanks.

[HACKERS] [PATCH] Remove defunct and unnecessary link

2017-03-16 Thread David Christensen
The HA docs reference a “glossary” link which is no longer accessible, nor is it likely to be useful in general to link off-site IMHO. This simple patch removes this link. Best, David -- David Christensen End Point Corporation da...@endpoint.com 785-727-1171