Jenkins build is back to normal : master-osmo-trx » --with-neon,0,a3=default,a4=default,raspbian #8293

[jenkins]

See 
<https://jenkins.osmocom.org/jenkins/job/master-osmo-trx/INSTR=--with-neon,WITH_MANUALS=0,a3=default,a4=default,label=raspbian/8293/display/redirect>