Pilot-Pirx commented on PR #194: URL: https://github.com/apache/openoffice/pull/194#issuecomment-1928222573
Unfortunately GitHub does not seem to allow to re-open a PR once it was merged... If you don't mind (and my time permits) I would like to do "remakes" of your original PR. I think the sinc_pi change can be merged quickly. -- 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
