Jenkins build is back to normal : Osmocom_OBS_master_obs.osmocom.org #1805

13 Oct 2022

See
<https://jenkins.osmocom.org/jenkins/job/Osmocom_OBS_master_obs.osmocom.org/1805/display/redirect>