(2018/01/09 23:46), Robert Haas wrote:
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.

Thank you!

Best regards,
Etsuro Fujita

Reply via email to