slorquet commented on pull request #4027: URL: https://github.com/apache/incubator-nuttx/pull/4027#issuecomment-872335793
Well, the change is not bad, so it may not be required to revert it. I was surprised by this break but this is more a "future documentation" issue. -- 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]
