Open
Description
Hi,
I just wanted to let the maintainers know that today we shut down pp.ipd.kit.edu/git/{libfirm,cparser,...} because of annoyances wrt. logging and spiders.
I don't think that mirroring has been working for the past 2 years at least, so you should hardly notice.
We will also "soon" let https://pp.ipd.kit.edu/ rot, because at the end of 2024 nobody will be there to maintain the page any longer.
Metadata
Metadata
Assignees
Labels
No labels