You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@nuttx.apache.org by GitBox <gi...@apache.org> on 2020/04/27 14:07:34 UTC

[GitHub] [incubator-nuttx] Ouss4 commented on pull request #895: tools/incdir.sh: Correct error in select of include path

Ouss4 commented on pull request #895:
URL: https://github.com/apache/incubator-nuttx/pull/895#issuecomment-620009763


   @btashton we should backport this and then proceed with RC1, right?


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
users@infra.apache.org