nuttx-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From GitBox <>
Subject [GitHub] [incubator-nuttx] btashton commented on pull request #895: tools/ Correct error in select of include path
Date Mon, 27 Apr 2020 15:54:21 GMT

btashton commented on pull request #895:

   > @btashton we should backport this and then proceed with RC1, right?
   Yes, this should be backported. I'll cut the release tonight. 

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:

View raw message