See <https://jenkins.osmocom.org/jenkins/job/master-osmo-ggsn/GTP=--disable-gtp-linux,WITH_MANUALS=1,a3=default,a4=default,label=osmocom-master-debian9/1197/display/redirect>
- Build failed in Jenkins: master-osmo-ggsn » --disable-gtp-linux,1,... jenkins
- Jenkins build is back to normal : master-osmo-ggsn » --disabl... jenkins
