btashton commented on pull request #2590: URL: https://github.com/apache/incubator-nuttx/pull/2590#issuecomment-749980669
@no1wudi :( Looks like GitHub actually made a fix recently in the base library so hopefully this will go away, but in the mean time I opened this https://github.com/apache/incubator-nuttx/pull/2592 to at least make it not fail the build. I will also restart the run here. ---------------------------------------------------------------- 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
