Re: [DOCS] Duplicative index entries in v10/HEAD builds

Tom Lane wrote:

> How do we get rid of those duplicative (and not-appropriate-to-the-
> main-topic) links on the first line?

Hmm, is it related to this previous report of mine?
https://postgr.es/m/20170315160525.42x4wxtdhk3sa522@alvherre.pgsql

-- 
Álvaro Herrera                https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services


-- 
Sent via pgsql-docs mailing list (pgsql-docs@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-docs