ardovm commented on pull request #122: URL: https://github.com/apache/openoffice/pull/122#issuecomment-925836356
> Is this PR ready? Or, have the changes already been merged in a different PR? Thank you for checking this! I am still waiting for a review. I would like to have the proposed _changes_ reviewed first. Then I'd reshuffle a bit the commits before merging, so they will make more sense -- mainly squashing the WIP and typo correction commits. -- 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: dev-unsubscr...@openoffice.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@openoffice.apache.org For additional commands, e-mail: dev-h...@openoffice.apache.org