nmaggioni commented on PR #16840: URL: https://github.com/apache/nuttx/pull/16840#issuecomment-3181202262
My bad, this ended up depending on #16837. Cherry-picking e5cc2a0 should fix CI with minimal history mess, but let me know if you prefer to keep things separated instead and restart the build once the other changeset goes through. -- 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: commits-unsubscr...@nuttx.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
