See <https://jenkins.osmocom.org/jenkins/job/master-osmo-gsm-manuals/a1=default,a2=default,a3=default,label=linux_amd64_debian8/122/display/redirect>
- Build failed in Jenkins: master-osmo-gsm-manuals » a1=default,a2=d... jenkins
- Build failed in Jenkins: master-osmo-gsm-manuals » a1=default... jenkins
- Jenkins build is back to normal : master-osmo-gsm-manuals... jenkins
