hi, jenkins will be taken down at 12 cet for upgrades. shouldn't take too long. arnem -------------- next part -------------- An HTML attachment was scrubbed... URL: <//opm-project.org/pipermail/opm/attachments/20171215/e8fe627a/attachment.html>