]> git.dujemihanovic.xyz Git - u-boot.git/commitdiff
Merge branch '2019-10-08-master-imports'
authorTom Rini <trini@konsulko.com>
Tue, 8 Oct 2019 22:37:19 +0000 (18:37 -0400)
committerTom Rini <trini@konsulko.com>
Tue, 8 Oct 2019 22:37:19 +0000 (18:37 -0400)
- Python3 conversion of genboardscfg.py
- Resync Kconfiglib.py
- Switch to running CI on Ubuntu "bionic" to facilitate Python 3.6 being
  the minimum we use and test.


Trivial merge