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
pgiffuni commented on PR #194:
URL: https://github.com/apache/openoffice/pull/194#issuecomment-1905206856
I wish the 1.55 changes had been merged separately. The sinc_pi change was
useful despite the version.
In any case it appears that the boost build per-se didn't fail but that the
