Don't remove system files. :)
Submitter has GNATS access
Awaiting maintainers feedback
I approve the patch. Thank you.
On Jun 23 at 01:51 +0000, Edwin Groothuis wrote:
> Maintainer of math/isabelle,
> Please note that PR ports/99341 has just been submitted.
> If it contains a patch for an upgrade, an enhancement or a bug fix
> you agree on, reply to this email stating that you approve the patch
> and a committer will take care of it.
> The full text of the PR can be found at:
> Edwin Groothuis