On Thu, Apr 25, 2019 at 6:51 PM Kyotaro HORIGUCHI
<horiguchi(dot)kyotaro(at)lab(dot)ntt(dot)co(dot)jp> wrote:
>
> Hello.
>
> I happened to find that several symbols renamed in 3eb77eba5a are
> left in comments. Please find the attached.
Thanks for the patch! Committed.
Regards,
--
Fujii Masao