On Wed, Apr 1, 2015 at 4:35 PM, Kyotaro HORIGUCHI <
horiguchi(dot)kyotaro(at)lab(dot)ntt(dot)co(dot)jp> wrote:
> By the way, what should we do about this?
>
> - Waiting for someone's picking up this.
> - Making another thread to attract notice
> - Otherwise..
I am sure someone will show up quickly and push the fix you provided.
--
Michael