[build system] jenkins wedged, going to restart after current builds finish

[shane knapp ☠]

EOM

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