v01d commented on pull request #1661: URL: https://github.com/apache/incubator-nuttx/pull/1661#issuecomment-712855569
Thanks, I know you've been busy with the release and that is quite appreciated so I didn't wanted to bother you in the mean time. We can do as you suggest. If you rebased I will have to rebase on top of your branch as well and hopefully it still works. If others agree to merge this, I will open the PR against the main repo. The other path I suggested is for me to simply open the PR without this being merged and will thus include your changes as well. Maybe this is more of an atomic change. Let me know. ---------------------------------------------------------------- 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
