jorisvandenbossche commented on pull request #8677: URL: https://github.com/apache/arrow/pull/8677#issuecomment-729705678
> Then could we get this one merged first ? Ideally we would first ensure we have such a build, so we can know it is failing before applying this patch (so we know that the issue would actually be caught by our tests). (now, I just mentioned on the issue that I can't reproduce the failure) ---------------------------------------------------------------- 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
