Re: [GIT PULL] OP-TEE fixes for v7.3

[Arnd Bergmann]

On Fri, Oct 2, 2026, at 16:24, Jens Wiklander wrote:
> Hello soc maintainers,
>
> Please pull these fixes for the OP-TEE driver in the TEE subsystem.
>

Hi Jens,

I noticed that the contents of this branch are not in Linux-next.
Is this intentional?

      Arnd