On 2023-07-25 16:35:54 +0900, Masahiko Sawada wrote:> Thank you for your confirmation. I can push the fix if you're okay.> I've attached the patch.
LGTM.
Thanks!