On 2017/08/04 1:52, Robert Haas wrote:
> On Thu, Aug 3, 2017 at 5:55 AM, Etsuro Fujita
> <fujita.etsuro@lab.ntt.co.jp> wrote:
>> I updated the patch that way. Attached is a new version of the patch.
>
> Committed.
Thanks again.
Best regards,
Etsuro Fujita