ping :) is the mailing list still the way for patches or is github more appropriate for better traceability ?
On Mon, 7 Nov 2022 at 13:37, David CARLIER <devne...@gmail.com> wrote: > I sent a new one after, resending in case it got lost. > > On Mon, 7 Nov 2022 at 12:36, Tim Düsterhus <t...@bastelstu.be> wrote: > >> David, >> >> On 11/7/22 09:00, David CARLIER wrote: >> > Thanks here a corrected version. >> > >> >> It looks like you accidentally attached the same patch as before. >> >> Best regards >> Tim Düsterhus >> >