(2018/01/09 23:46), Robert Haas wrote:> On Mon, Jan 8, 2018 at 10:37 PM, Etsuro Fujita> <fujita(dot)etsuro(at)lab(dot)ntt(dot)co(dot)jp> wrote:>> Attached is a patch for that.>> Committed.
Thank you!
Best regards,Etsuro Fujita