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