]> git.dujemihanovic.xyz Git - u-boot.git/commitdiff
Merge branch '2020-10-15-further-cleanup_dev_xxx'
authorTom Rini <trini@konsulko.com>
Fri, 16 Oct 2020 13:44:51 +0000 (09:44 -0400)
committerTom Rini <trini@konsulko.com>
Fri, 16 Oct 2020 13:44:51 +0000 (09:44 -0400)
- Bring in the next round of dev_xxx cleanup patches.


Trivial merge