> On Mar 10, 2017, at 10:20 , Richard Biener <richard.guent...@gmail.com> wrote: > >> Is this one OK ? > > Ok.
Committing, thanks!
> On Mar 10, 2017, at 10:20 , Richard Biener <richard.guent...@gmail.com> wrote: > >> Is this one OK ? > > Ok.
Committing, thanks!