On Tue, Sep 13, 2022 at 1:53 PM João Távora wrote: > > > On Tue, Sep 13, 2022, 13:37 wrote: > >> 11 sep. 2022 kl. 13.28 skrev Lars Ingebrigtsen : >> >> > This was a year ago, but it looks like none of these patches were >> > applied? >> >> Probably means they weren't very good to begin with. >> > > Heh. That's a bit harsh, but also true more often than not. > Doh. I just realised you were talking about your own patches... FWIW I haven't looked at them, so just a generic, gratuitous utterance. João