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

Committing, thanks!

Reply via email to