Jenkins build is back to normal : master-osmo-msc » --disable-iu,1,a3=default,a4=default,osmocom-master-debian9 #8234

[jenkins]

See 
<https://jenkins.osmocom.org/jenkins/job/master-osmo-msc/IU=--disable-iu,WITH_MANUALS=1,a3=default,a4=default,label=osmocom-master-debian9/8234/display/redirect?page=changes>