jorgecarleitao commented on pull request #287: URL: https://github.com/apache/arrow-rs/pull/287#issuecomment-841700074
@alamb , we are unable to distinguish if that is a false positive or a problem on our side. It is on my todo list to write to MIRI team to help us 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: [email protected]
