Thank you! Damian
> On Jul 17, 2015, at 9:50 AM, Mikael Morin <mikael.mo...@sfr.fr> wrote: > > Le 17/07/2015 11:02, Mikael Morin a écrit : >> Le 16/07/2015 16:34, Damian Rouson a écrit : >>> Alternatively, if it’s easy, please feel free to add the directives and >>> commit. >>> > >> Never mind, I'll take care of it all. >> > This is what I have committed: > https://gcc.gnu.org/r225930 (trunk) > https://gcc.gnu.org/r225932 (5 branch) > > Mikael > <r225930.diff>
