On Mon, Oct 12, 2020 at 03:39:51PM +0900, Masahiko Sawada wrote:> Yes, this patch resolves the problem.
Okay, applied then.--Michael