On Fri, Dec 1, 2017 at 4:01 AM, Antonin Houska <ah(at)cybertec(dot)at> wrote:> I see no other problems here.
Committed, thanks for the report and review.
-- Robert HaasEnterpriseDB: http://www.enterprisedb.comThe Enterprise PostgreSQL Company