hi,
at 16:00 CET today i will take down jenkins and to do a debian distribution update. depending on how grumpy mr murphy is, it will be down anywhere from 3h to 3 days. hopefully closer to the first. arnem
_______________________________________________ Opm mailing list [email protected] http://opm-project.org/cgi-bin/mailman/listinfo/opm
