v01d commented on pull request #1834: URL: https://github.com/apache/incubator-nuttx/pull/1834#issuecomment-694529679
> Hmmm... This is all project management stuff. Perhaps you have changed your mind? Perhaps you should be on the PPMC? Are you interested? I would say this is mostly technical at the moment. We can think about that later on. ---------------------------------------------------------------- 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
