Message ID | 20201013063612.GA3325842@jade (mailing list archive) |
---|---|
State | Mainlined, archived |
Commit | 57222a1be27e06ecb81cc2f945e897814d5f461c |
Headers | show |
Series | [GIT,PULL] OP-TEE use UUID API for v5.10 | expand |
From: Arnd Bergmann <arnd@arndb.de> On Tue, 13 Oct 2020 08:36:12 +0200, Jens Wiklander wrote: > Please pull this small patch which allows to hide uuit_t internals from > the OP-TEE driver. > > I know it's a bit late for v5.10, if it's too late please queue it for > v5.11 instead. > > Thanks, > Jens > > [...] Merged into arm/drivers, thanks! merge commit: 6bc9d7391ad66cfe70d5fd4b3bc6dc31c713ec36 Arnd