(2018/03/01 0:12), Robert Haas wrote:
> On Wed, Feb 28, 2018 at 3:24 AM, Etsuro Fujita
> <fujita.etsuro@lab.ntt.co.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