thisisnic commented on pull request #10032: URL: https://github.com/apache/arrow/pull/10032#issuecomment-824105454
> @thisisnic it looks like when you ran `devtools::document()`, it built some docs changes unrelated to this PR. This happens sometimes (e.g. when someone else commits a PR without running `devtools::document()`) and it's no big deal, but it'd be a good idea to push a commit to undo those unrelated docs changes, to avoid any merge conflicts. Fixed 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]
