Thanks Tobias and Gerald - that change is now committed: https://gcc.gnu.org/git/?p=gcc-wwwdocs.git;a=commit;h=b88b1edba71bbca44429c28b7518d76678ab6acb
On Wednesday, January 29, 2020 11:57:02 AM PST Tobias Burnus wrote: > LGTM – and also to Gerald. Hence, go ahead! > > Thanks for the patch, > > Tobias > > On 1/29/20 1:45 AM, Andrew Benson wrote: > > Hi Tobias, > > > > On Tuesday, January 28, 2020 6:49:54 PM PST Tobias Burnus wrote: > >> Thus, I do not think it is a real problem in practice. We could be nice, > >> however, and add a note to the release notes (i.e. > >> https://gcc.gnu.org/gcc-10/changes.html); I not completely sure whether > >> it is worthwhile but why not. [See https://gcc.gnu.org/about.html#git > >> about how to change WWW files and CC Gerald as web maintainer when > >> submitting wwwdocs patches.] > > > > I've attached a draft patch to update the release notes about this ABI > > breakage. I don't know if I've explained it sufficiently clearly though? > > > > -Andrew -- * Andrew Benson: http://users.obs.carnegiescience.edu/abenson/contact.html * Galacticus: https://github.com/galacticusorg/galacticus
