On Fri, Dec 1, 2017 at 4:01 AM, Antonin Houska <a...@cybertec.at> wrote:
> I see no other problems here.

Committed, thanks for the report and review.

-- 
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company

Reply via email to