https://gcc.gnu.org/bugzilla/show_bug.cgi?id=44032 --- Comment #11 from Jonathan Wakely <redi at gcc dot gnu.org> --- I don't think the policy change affects this at all. There is no change to the licenses of any GCC code or docs.