(2018/03/01 0:12), Robert Haas wrote:
On Wed, Feb 28, 2018 at 3:24 AM, Etsuro Fujita <[email protected]> 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
