On Tue, Oct 1, 2024 at 4:18 AM Masahiro Yamada <masahiroy@xxxxxxxxxx> wrote: > > OK, then we can remove -prune entirely. Yeah, I think that is the simplest approach. With those changes, please feel free to add: Acked-by: Miguel Ojeda <ojeda@xxxxxxxxxx> Thanks! Cheers, Miguel
