On Thu, Jan 17, 2019 at 02:44:25PM +0900, Etsuro Fujita wrote:> Pushed. I left that argument alone. I think we can change it later, if> necessary :).
Sure, that's fine as well. Thanks for committing the patch.--Michael