the jenkins server will be taken down for maintenance around 1CET today. we do not expect a long down-time. arnem -------------- next part -------------- An HTML attachment was scrubbed... URL: <//opm-project.org/pipermail/opm/attachments/20180119/535ab73c/attachment.html>