Jenkins build is back to normal : master-osmo-gsm-manuals » a1=default,a2=default,a3=default,osmocom-master-debian9 #2342

[jenkins]

See 
<https://jenkins.osmocom.org/jenkins/job/master-osmo-gsm-manuals/a1=default,a2=default,a3=default,label=osmocom-master-debian9/2342/display/redirect>