On Tue, Sep 6, 2016 at 8:08 AM, Stefano Babic <sbabic at denx.de> wrote: > You're right, strange, something went wrong. Now they are on the server. Ok, great. As these three patches didn't make into your pull request to Tom: will you submit another pull request which includes them? Thanks