On Mon, 23 Dec 2024 at 01:56, Gerald Pfeifer wrote: > > On Wed, 9 Oct 2024, Jonathan Wakely wrote: > > How about this? > > > > +<h3 id="c">C</h3> > > + <ul> > > + <li>New options <code>-std=c17</code>, to select support for the 2018 > > + edition of the ISO C standard, and <code>-std=gnu17</code>, for C17 > > + with GNU extensions.</li> > > + <li>The default mode has been changed to <code>-std=gnu17</code>.</li> > > + </ul> > > Joseph acked this, but I don't find this in our current wwwdocs tree. > > Did you mean to push it (or am I missing something)?
I've pushed it now, thanks for the reminder.