[build system] jenkins wedged again

i'm going to reboot the primary and worker nodes, so it'll be a few minutes
before everything is back up.


shane
-- 
Shane Knapp
Computer Guy / Voice of Reason
UC Berkeley EECS Research / RISELab Staff Technical Lead
https://rise.cs.berkeley.edu

Reply via email to