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/03/05 14:56:29 UTC
[GitHub] [incubator-nuttx] jarivanewijk opened a new pull request #440:
S32K1xx boards - Remove unused files (should have been renamed)
jarivanewijk opened a new pull request #440: S32K1xx boards - Remove unused files (should have been renamed)
URL: https://github.com/apache/incubator-nuttx/pull/440
New S32K boards were added in PR https://github.com/apache/incubator-nuttx/pull/224
That PR was rebased a few times on the latest master, which caused some renamed files to be seen as new files (and the original files remained). This was overlooked when reviewing the PR before it was merged.
All this does is remove the original files with the original name (which are not used anymore). This does not affect builds for these boards in any way.
----------------------------------------------------------------
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
With regards,
Apache Git Services
[GitHub] [incubator-nuttx] patacongo merged pull request #440: S32K1xx
boards - Remove unused files (should have been renamed)
Posted by GitBox <gi...@apache.org>.
patacongo merged pull request #440: S32K1xx boards - Remove unused files (should have been renamed)
URL: https://github.com/apache/incubator-nuttx/pull/440
----------------------------------------------------------------
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
With regards,
Apache Git Services