(2019/02/15 21:19), Etsuro Fujita wrote:
> So, here is an updated patch. If there are no objections from you or
> anyone else, I'll commit the patch as a preliminary one for what's
> proposed in this thread.
Pushed, after fiddling with the commit message a bit.
Best regards,
Etsuro Fujita