Fix build failure introduced in PR #597#629

Merged

aggarg merged 1 commit intoFreeRTOS:mainfrom aggarg:fix_build_failure

Feb 23, 2023

+18-18

Commits on Feb 22, 2023

Fix build failure introduced in PR FreeRTOS#597
aggarg
committed