On Fri, 4 Nov 2016, Andrew Pinski wrote:

On Fri, Nov 4, 2016 at 7:08 AM, Marc Glisse <marc.gli...@inria.fr> wrote:
Ping https://gcc.gnu.org/ml/gcc-patches/2016-10/msg02220.html

I think this is obvious.

Ok, I've committed it.

--
Marc Glisse

Reply via email to