Ouss4 commented on pull request #1103: URL: https://github.com/apache/incubator-nuttx/pull/1103#issuecomment-633035564
It was removed not so long ago, along with the "merge commit" option. I can merge it as is, a part from some CS commits the rest seem independent. ---------------------------------------------------------------- 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: us...@infra.apache.org
