Merge branch 'master' of git://git.denx.de/u-boot-net
authorTom Rini <[email protected]>
Thu, 11 Oct 2018 19:28:32 +0000 (15:28 -0400)
committerTom Rini <[email protected]>
Thu, 11 Oct 2018 19:28:32 +0000 (15:28 -0400)

Trivial merge