mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2026-08-09 22:55:07 +00:00
* replace duplicated if branch because empty by a comment to avoid warning/error with option GCC -Wduplicated-branches * Missing ';' * cosmetic comment * update comment as suggested by Gaurav-Aggarwal-AWS * cosmetic Co-authored-by: Pierre-Noel Bouteville <pnb990@gmail.com>
220 KiB
220 KiB