Jenkins build is back to normal : Osmocom_OBS_check_builders #8239

[jenkins]

See 
<https://jenkins.osmocom.org/jenkins/job/Osmocom_OBS_check_builders/8239/display/redirect>