Hi, Yes please! For personal issues I am really busy.
On Sat, Jun 6, 2026, 12:56 PM void <[email protected]> wrote: > On Mon, May 25, 2026 at 04:31:07PM +0200, Sergio Carlavilla wrote: > > >Hi, > > > >Thanks for reporting, let me take a look. > > Friendly ping? > > In retrospect, should I have made a PR in the doc category about this? > I'm happy to make a PR if it's required. > -- > >
