Re: [Opm] jenkins downtime

jenkins is back. all previously queued builds are now executing.


arnem
_______________________________________________
Opm mailing list
[email protected]
http://opm-project.org/cgi-bin/mailman/listinfo/opm

Reply via email to