Deep link checker try 2
See merge request !119 (merged) and its panic revert !124 (merged)
This yields in weird links to "German" pages with links to nowhere.
(cherry picked from commit dd9d4345)
Edited by Uwe Jandt (DESY, HIFIS)
See merge request !119 (merged) and its panic revert !124 (merged)
This yields in weird links to "German" pages with links to nowhere.
(cherry picked from commit dd9d4345)