On Thu, Apr 25, 2019 at 6:51 PM Kyotaro HORIGUCHI <horiguchi.kyot...@lab.ntt.co.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