Jenkins build is back to normal : master-osmo_dia2gsup » a1=default,a2=default,a3=default,a4=default,osmocom-master #720

[jenkins]

See 
<https://jenkins.osmocom.org/jenkins/job/master-osmo_dia2gsup/a1=default,a2=default,a3=default,a4=default,label=osmocom-master/720/display/redirect?page=changes>