ardovm opened a new pull request, #147: URL: https://github.com/apache/openoffice/pull/147
.so files were never copied. The logic needed two small changes IMHO. Here they are. These commits are meant to be squashed if we choose to merge them. -- 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
