On Fri, May 9, 2014 at 10:49 PM, Fujii Masao <masao(dot)fujii(at)gmail(dot)com> wrote:> Yes unless many people object the commit.>> Michael,> You're now modifying the patch?Not within a couple of days.-- Michael