Merged in no1wudi/nuttx (pull request #282)
fix a typo
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.
fix a typo
Approved-by: Gregory Nutt <gnutt@nuttx.org>