On Wed, Jul 24, 2024 at 09:54:12AM +0900, Yokota K. wrote: > Thanks for the fix. I agree with the fix. > > The line seems to have mistakenly slipped in. Ok, thanks Koji. Pavel