(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