15 May
2023
15 May
'23
3:53 p.m.
Hi Sumit,
On Mon, May 15, 2023 at 1:33 AM Sumit Garg sumit.garg@linaro.org wrote:
Thanks for your patch. OP-TEE OS development happens over Github, so please create a corresponding Github PR
Done: https://github.com/OP-TEE/optee_os/pull/6025
For some reason I seem unable to assign reviewers in github UI, but perhaps that is intentional.
Ralph