Merge tag 'pull-tg18' of git://git.denx.de/u-boot-dm
authorTom Rini <trini@konsulko.com>
Fri, 23 Nov 2018 22:25:27 +0000 (17:25 -0500)
committerTom Rini <trini@konsulko.com>
Fri, 23 Nov 2018 22:25:27 +0000 (17:25 -0500)
Various minor sandbox improvements
Better buildman warning handling
Misc other things


Trivial merge