On 5/15/23 17:53, Ralph Siemsen wrote:
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.
No worries, the core maintainers (and anyone who subscribed to the project in fact) are notified automatically. If there is someone in particular you would like to get feedback from, you may simply mention him/her by GitHub handle in a comment, for example: CC @someone.
Thanks,