On Fri, Aug 11, 2017 at 2:44 PM, Daniel Lezcano <daniel.lezc...@linaro.org> wrote: > > You are perfectly right, I was assuming everybody in Europe may be in > vacation, so I let you know the pull request. However, Thomas will be > back August, 14th, so I think you can ignore the pull request.
Ok, if the situation changes, re-send it to me and I'll do it directly,
Linus
