On Wed, 6 May 2020, Richard Biener wrote: > > Here is the updated patch for the record. > > Jakub, richi, is this ok for the GCC 10 branch? > > I'll defer to Joseph who is release manager as well.
This version is OK with me. -- Joseph S. Myers jos...@codesourcery.com
