On Thu, Dec 08, 2022 at 08:40:02AM +0000, David CARLIER wrote: > ping :) is the mailing list still the way for patches or is github more > appropriate for better traceability ?
The mailing list is still preferred for patches, but I previously got the impression that you resent the same. Better make it clear when it's updated if that's the case. Will have a look, thanks. Willy
