mirror of
https://github.com/apache/nuttx.git
synced 2026-06-08 10:32:47 +08:00
cf2f206f3b
done by https://github.com/apache/nuttx/pull/11354 now
This reverts commit 05801f9fec.