On 26 January 2015 at 19:15, Martin Uecker <uec...@eecs.berkeley.edu> wrote: > > Since my patch to change this has been accepted, could you please > update the FAQ again?
Done. Moreover, if you create a wiki account, I will grant you editing powers. > Also, I think the change could be mentioned here: > > https://gcc.gnu.org/gcc-5/changes.html I agree. That requires to produce a patch against our wwwdocs: https://gcc.gnu.org/contribute.html#webchanges and getting it accepted as usual. Thus I would let you (or someone else) handle it. One nit: I'd suggest to use -Wpedantic rather than -pedantic, for consistency with other -W* options. Thanks for following up on this. Cheers, Manuel.
