On Wed, Nov 15, 2017 at 10:11 AM, Pierre-Marie de Rodat <derodat@adacore.com> wrote: > Hello Richard, > > On 09/25/2017 01:54 PM, Richard Biener wrote: >> >> Ok for trunk and gcc-7 branch after a while. > > Is it still okay to commit to gcc-7, now? Yes. Richard. > -- > Pierre-Marie de Rodat