On Thu, Mar 14, 2024 at 9:09 AM Thomas Zimmermann <[email protected]> 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 <[email protected]> Cheers, Miguel
