On Thu, Mar 14, 2024 at 9:09 AM Thomas Zimmermann <tzimmermann@xxxxxxx> wrote: > > As Sam already said, it doesn't seem to make different in practice. I'd > mention it in the commit message and that's it. Ok? Yeah, that is what I meant -- thanks a lot! Reviewed-by: Miguel Ojeda <ojeda@xxxxxxxxxx> Cheers, Miguel
