acassis commented on PR #17313: URL: https://github.com/apache/nuttx/pull/17313#issuecomment-3570172594
@simbit18 although you discussed that only the person that requested the Change could disable it, I think this is a case where the "common sense" could be used to solve. The change requested was a simple thing and the author already fixed it. I think this case is an exception to the rule. Fortunately @jerpelea is active here (and he is not in vacation AFAIK), but imagine if this wasn't the case? -- 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]
