Hi Evans,

do you have time to refresh the CI docker image? Seems like jenkins urgently has to be updated. In case you don't have time I can try to find half an hour in the next days.

Olaf

Reply via email to