Jenkins build is back to normal : master-asn1c » a1=default,a2=default,a3=default,a4=default,osmocom-master-debian9 #1006

[jenkins at lists.osmocom.org]

See <https://jenkins.osmocom.org/jenkins/job/master-asn1c/a1=default,a2=default,a3=default,a4=default,label=osmocom-master-debian9/1006/display/redirect>