Hello,
At Mon, 7 Mar 2016 12:34:15 -0500, Robert Haas <robertmhaas@gmail.com> wrote in
<CA+TgmoaQsvJnVhe05QXJM5PAniVAB3iRAEL-6DHTxUhX92GqPA@mail.gmail.com>
> >> Fix pushed.
> >
> > Thank you for committing this. I can see only one commit for this
> > in the repository but I believe it is the fixed one.
>
> It was OK in master, but the back-branches had problems. See
> 369c0b09080812943a2efcebe91cf4b271bc4f86.
I understand that. Thank you for replying.
regards,
--
Kyotaro Horiguchi
NTT Open Source Software Center