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.