On Thu, Feb 28, 2019 at 1:32 PM Jens Wiklander <[email protected]> wrote: > > Hello arm-soc maintainers, > > Please pull this last minute fix for the OP-TEE driver.
Pulled into arm/fixes, thanks!
Arnd
On Thu, Feb 28, 2019 at 1:32 PM Jens Wiklander <[email protected]> wrote: > > Hello arm-soc maintainers, > > Please pull this last minute fix for the OP-TEE driver.
Pulled into arm/fixes, thanks!
Arnd