]> begriffs open source - freertos/commit
Use the bigger priority whenever possible. (#760) 754/head
authorMoral-Hao <sihunzhilei@126.com>
Fri, 18 Aug 2023 16:05:10 +0000 (00:05 +0800)
committerGitHub <noreply@github.com>
Fri, 18 Aug 2023 16:05:10 +0000 (21:35 +0530)
commit7372519cba39922ce5aeb92b8931cf8694b78bd2
treec67286cd386ecba8b729c6d292bfba8cfba0f43c
parentcdd3678c29b5064db24d34042acc974c57a0babb
Use the bigger priority whenever possible. (#760)

Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
tasks.c