On Thu, 10 Jul 2025 22:01:56 +0200 Danilo Krummrich <dakr@xxxxxxxxxx> wrote: > On 7/9/25 4:08 AM, FUJITA Tomonori wrote: >> On Wed, 9 Jul 2025 00:51:24 +0200 >> Danilo Krummrich <dakr@xxxxxxxxxx> wrote: >>> Here's the diff to fix up both, I already fixed it up on my end -- no >>> need to >>> send a new version. >> Thanks a lot! > > Given the comments from Trevor, do you want me to wait for a respin, > consider > the few nits when applying, or apply as is? Thanks, I'll send v4 shortly.