On Mon, Jan 8, 2018 at 10:37 PM, Etsuro Fujita
<[email protected]> wrote:
> Attached is a patch for that.

Committed.

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

Reply via email to