See <https://jenkins.osmocom.org/jenkins/job/master-osmo-msc/IU=--disable-iu,WITH_MANUALS=0,a3=default,a4=default,label=osmocom-master/48829/display/redirect>
- Build failed in Jenkins: master-osmo-msc » --disable-iu,0,a3=defau... jenkins
- Jenkins build is back to normal : master-osmo-msc » --disable... jenkins
