fjpanag commented on issue #7393: URL: https://github.com/apache/nuttx/issues/7393#issuecomment-1497642688
@pkarashchenko you have drafted some changes in #7464, that didn't solve the issue. Do you think that this is a good change nevertheless (and thus merge it)? Or this fix becomes obsolete with the latest changes in priority inheritance (and thus maybe close the PR)? I will spend more time on this issue when I find some free time, but in the meantime #7464 can move forward independently, I guess... -- 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
