cederom commented on PR #18266: URL: https://github.com/apache/nuttx/pull/18266#issuecomment-3845692180
Okay, I read some other PRs comments, looks like Xiaomi departed from the NuttX, focused on bleeding edge Vela long time ago, did not provide any new features to the upstream, closed all PRs recently, we were only supposed to merge here without asking "stupid" questions (I don't like that quote but you use it very often) correct? @acassis @jerpelea @lupyuen @hartmannathan @raiden00pl @michallenc @tmedicci -- 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]
