it has been changed by https://github.com/apache/nuttx/pull/10303 without any explicit mentions. i suppose it was a mistake. see https://github.com/apache/nuttx/pull/8201 and referenced PRs for previous discussions.
it has been changed by https://github.com/apache/nuttx/pull/10303 without any explicit mentions. i suppose it was a mistake. see https://github.com/apache/nuttx/pull/8201 and referenced PRs for previous discussions.