]> git.dujemihanovic.xyz Git - u-boot.git/commitdiff
Merge branch '2023-08-17-assorted-minor-fixes'
authorTom Rini <trini@konsulko.com>
Thu, 17 Aug 2023 19:01:11 +0000 (15:01 -0400)
committerTom Rini <trini@konsulko.com>
Thu, 17 Aug 2023 19:01:11 +0000 (15:01 -0400)
- More MAINTAINERS updates, update CI to use a newer coreboot and make
  arm-ffa a bit less verbose by default.


Trivial merge