jarivanewijk commented on pull request #5280: URL: https://github.com/apache/incubator-nuttx/pull/5280#issuecomment-1050772450
We have some ongoing discussions that need to be settled before we continue to merge this. I will close this PR for now and will re-open or open a new (updated) PR at a later moment. -- 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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
