On Thu, 14 Dec 2023, David Malcolm wrote: > Are these OK for trunk, assuming I followup with adding CI for this? > (that said, I disappear for the rest of 2023 at the end of this week, so > I'd work on the CI in early January)
Patches 2 (updated at the time of commit to reflect the latest options then in the source), 3 and 4 are OK once patch 1 is ready, unless anyone objects within the next week. -- Joseph S. Myers jos...@codesourcery.com
