Skip to content

Fix broken links

Uwe Jandt (DESY, HIFIS) requested to merge fix-broken-links into master

External Link checker complains about two broken links.

Edited by Uwe Jandt (DESY, HIFIS)

Merge request reports