On 2016/03/16 5:55, Robert Haas wrote:
> On Tue, Mar 15, 2016 at 4:06 AM, Etsuro Fujita
> <fujita(dot)etsuro(at)lab(dot)ntt(dot)co(dot)jp> wrote:
>> Attached is a patch for that.
> Hmm, I'd say you are right. Committed.
Thank you for taking care of this!
Best regards,
Etsuro Fujita