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/09/12 20:02:35 UTC

[GitHub] [incubator-nuttx] davids5 commented on pull request #1751: sched: Refine the comment for SCHED_INSTRUMENTATION_EXTERNAL

davids5 commented on pull request #1751:
URL: https://github.com/apache/incubator-nuttx/pull/1751#issuecomment-691512404


   @xiaoxiang781216 - since you asked for @patacongo 's input, we should give him time to respond. If we do not hear back by say mid Monday his time, we can assume he is OK with this level of the change. Then ping me and I will merge it.


----------------------------------------------------------------
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