Skip to content
Snippets Groups Projects
Commit 1242d3d0 authored by Uwe Jandt (DESY, HIFIS)'s avatar Uwe Jandt (DESY, HIFIS)
Browse files

Merge branch 'jandt-desy-master-patch-67919' into 'master' 

job desy

See merge request hifis/hifis.net!139
parents 51baf85d 94f01fe1
No related branches found
No related tags found
1 merge request!139job desy
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment

A HIFIS Service | Privacy | Imprint | Support | Documentation | Changelog