scovich commented on PR #9514: URL: https://github.com/apache/arrow-rs/pull/9514#issuecomment-4026060792
> merging since this fixes CI errors introduced by #9515 and it otherwise seems good to go Wait... did I somehow miss a broken CI on the other PR? Or was there some logical merge conflict in the PR merge itself that CI didn't pick up? -- 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. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
