Re: [Merge] lp:~brice-dobry/gcc-linaro/fma into lp:gcc-linaro