Thanks a lot!
2015-07-17 15:50 GMT+02:00 Mikael Morin <mikael.mo...@sfr.fr>: > 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