On Tue, 29 Oct 2024 at 20:04, Laurenz Albe <[email protected]> wrote: > That patch is good in my opinion.
Thanks for checking. Pushed. David
On Tue, 29 Oct 2024 at 20:04, Laurenz Albe <[email protected]> wrote: > That patch is good in my opinion.
Thanks for checking. Pushed. David