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
_______________________________________________ Opm mailing list Opm@opm-project.org http://opm-project.org/cgi-bin/mailman/listinfo/opm