mirror of
https://github.com/apache/nuttx.git
synced 2026-05-13 10:38:40 +08:00
b94a7698d9
This reverts commit 350131d00e.
If one PR is on a former master code base, using 'git diff $commits' would result in
abnormal checkpatch report sometimes. So revert it anyway.