Merged in masayuki2009/nuttx.nuttx/bug_fix_by_sony (pull request #333)
sched: Fix CHILD_FLAG_EXITED in include/nuttx/sched.h
Approved-by: Gregory Nutt <gnutt@nuttx.org>
Please register or sign in to comment
Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
sched: Fix CHILD_FLAG_EXITED in include/nuttx/sched.h
Approved-by: Gregory Nutt <gnutt@nuttx.org>