mirror of
https://github.com/apache/nuttx.git
synced 2026-05-18 00:34:10 +08:00
2c24e5b430
to fix issue about https://github.com/apache/nuttx/issues/12687 Signed-off-by: wanggang26 <wanggang26@xiaomi.com>