On Fri, Dec 18, 2015 at 03:03:59PM +0900, Masahiro Yamada wrote: > Please let me gently ping in case the maintainers might be away from keyboard > during the Christmas days. > > I want this trivial one for the next merge window. Applied now. Thanks for the ping. -Olof