nevi-me commented on pull request #8590: URL: https://github.com/apache/arrow/pull/8590#issuecomment-725014853
> @nevi-me and @jorgecarleitao I think we should merge this PR -- is there anything else that needs to be done before we do so? You may go ahead and merge it :) I was waiting for integration tests to complete, but I'm about to head to sleep now ---------------------------------------------------------------- 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]
