(2018/03/01 0:12), Robert Haas wrote:
> On Wed, Feb 28, 2018 at 3:24 AM, Etsuro Fujita
> <fujita(dot)etsuro(at)lab(dot)ntt(dot)co(dot)jp> wrote:
>> I'll add this to the upcoming commitfest.
>
> Committed. Sorry that I didn't notice this thread sooner (and that
> the original commits didn't take care of it).
Thanks!
Best regards,
Etsuro Fujita