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