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

Posted to commits@nuttx.apache.org by "no1wudi (via GitHub)" <gi...@apache.org> on 2023/01/31 01:25:15 UTC

[GitHub] [nuttx] no1wudi opened a new pull request, #8367: risc-v/Toolchain.defs: Correct indent

no1wudi opened a new pull request, #8367:
URL: https://github.com/apache/nuttx/pull/8367

   ## Summary
   Minor style fix
   ## Impact
   N/A
   ## Testing
   CI
   


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

To unsubscribe, e-mail: commits-unsubscribe@nuttx.apache.org

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

[GitHub] [nuttx] xiaoxiang781216 merged pull request #8367: risc-v/Toolchain.defs: Correct indent

Posted by "xiaoxiang781216 (via GitHub)" <gi...@apache.org>.

xiaoxiang781216 merged PR #8367:
URL: https://github.com/apache/nuttx/pull/8367


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

To unsubscribe, e-mail: commits-unsubscribe@nuttx.apache.org

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