On Mon, 20 Feb 2023 at 23:04, Thomas Munro <thomas.mu...@gmail.com> wrote: > > Done like that in this version. This is the version I'm thinking of > committing, unless someone wants to argue for another level.
FWIW the cfbot doesn't understand this patch series. I'm not sure why but it's only trying to apply the first (the MacOS one) and it's failing to apply even that. -- Gregory Stark As Commitfest Manager
