On Sat, Jun 15, 2019 at 7:22 PM Tomas Vondra<tomas(dot)vondra(at)2ndquadrant(dot)com> wrote:> I've pushed a fix for the docs issue.
Thanks.
-- Robert HaasEnterpriseDB: http://www.enterprisedb.comThe Enterprise PostgreSQL Company