Jenkins build is back to normal : Osmocom_OBS_latest_obs.osmocom.org #13

8 Jul 2022

See
<https://jenkins.osmocom.org/jenkins/job/Osmocom_OBS_latest_obs.osmocom.org/13/display/redirect?page=changes>