5 Sep
2017
5 Sep
'17
1:33 p.m.
On Mon, Sep 4, 2017 at 11:14 AM, Mike Leach mike.leach@linaro.org wrote:
Regarding the change above - I agree this is a good change. I can make it myself or you can send a patch - either works for me.
Attached.
Thanks, Sebastian