fjpanag commented on issue #3157: URL: https://github.com/apache/incubator-nuttx/issues/3157#issuecomment-805869405
@v01d The issue is not related to the PR. It was there before. It just happened that I discovered it during working on this PR. -- 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. For queries about this service, please contact Infrastructure at: us...@infra.apache.org
