Re: [PATCH 0/4] v3 of: Option handling: add documentation URLs

2023-12-19 Thread Joseph Myers
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

Re: [PATCH 0/4] v3 of: Option handling: add documentation URLs

2023-12-14 Thread Mark Wielaard
Hi David, On Thu, Dec 14, 2023 at 10:01:39AM -0500, David Malcolm wrote: > > Once your patch is in please feel free to sent an email to > > build...@sourceware.org > > https://sourceware.org/mailman/listinfo/buildbot > > And we'll add the above build steps and update the autotools > >

[PATCH 0/4] v3 of: Option handling: add documentation URLs

2023-12-14 Thread David Malcolm
> Hi David, > > On Fri, Dec 08, 2023 at 06:35:56PM -0500, David Malcolm wrote: > > On Tue, 2023-11-21 at 23:43 +, Joseph Myers wrote: > > > On Tue, 21 Nov 2023, Tobias Burnus wrote: > > > > > > > On 21.11.23 14:57, David Malcolm wrote: > > > > > On Tue, 2023-11-21 at 02:09 +0100, Hans-Peter