mark florisson, 21.06.2012 12:38: > BTW, Stefan, how do we start Jenkins on the sage server? It's been > down for weeks now. It seems like the sage.math server would be happy about a restart. I'll trigger the ML. Stefan