[Opm] jenkins downtime

[Arne Morten Kvarving]

hi,


seems there is not a lot of activity, but in any case:


i will have to shut jenkins down for upgrades (dune 2.4.1). i do not anticipate a long downtime. this will take place at 14:30 cet. please do not flood it with jobs as i will have to wait for those to finish before the shutdown commences.


arnem

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <//opm-project.org/pipermail/opm/attachments/20170710/1eafd2e3/attachment.html>