ardovm commented on pull request #85: URL: https://github.com/apache/openoffice/pull/85#issuecomment-789525594
> Does this PR supersede #84 ? > Then we can close it as well, when this is merged. I think so, because commits be18c4b4c58709f70c68d94437d5aba6ff5893db (#84) and ad38db1599c3ff6616b2f21915332419b6a6079c (this PR) look exactly the same. I will take care of that. ---------------------------------------------------------------- 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] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
