]> git.dujemihanovic.xyz Git - u-boot.git/commitdiff
Merge branch '2020-04-11-CI-further-improvements' into next
authorTom Rini <trini@konsulko.com>
Sat, 11 Apr 2020 15:18:14 +0000 (11:18 -0400)
committerTom Rini <trini@konsulko.com>
Sat, 11 Apr 2020 15:18:14 +0000 (11:18 -0400)
- Further clean up and improve our Azure/GitLab/Travis CI loops


Trivial merge