On 22 August 2017 at 15:39, Dennis Clarke wrote: > > done. > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81926 > > meanwhile there seems to be a 7.2.1 release mentioned in the bug report > interface .. I wonder where that may reside. > > dc It's not a release: https://gcc.gnu.org/develop.html#num_scheme