Merge branch 'master' of git://git.denx.de/u-boot-sh
authorTom Rini <trini@konsulko.com>
Mon, 10 Dec 2018 12:15:55 +0000 (07:15 -0500)
committerTom Rini <trini@konsulko.com>
Mon, 10 Dec 2018 12:15:55 +0000 (07:15 -0500)

Trivial merge