]> git.dujemihanovic.xyz Git - u-boot.git/commitdiff
Merge branch '2020-02-13-master-imports'
authorTom Rini <trini@konsulko.com>
Thu, 13 Feb 2020 18:37:59 +0000 (13:37 -0500)
committerTom Rini <trini@konsulko.com>
Thu, 13 Feb 2020 18:37:59 +0000 (13:37 -0500)
- Minor Kconfig fixes
- Ensure we use python3 on all CI in all cases.
- Other minor fixes


Trivial merge