On Mon, Jan 8, 2018 at 10:37 PM, Etsuro Fujita
<fujita.ets...@lab.ntt.co.jp> wrote:
> Attached is a patch for that.

Committed.

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

Reply via email to