i'll be: - upgrading jenkins to the latest LTS - moving jenkins to java 11 (from java 8) - rebooting everything
sorry for the disruption... there aren't many builds running right now so i'll just get this sorted. shane -- Shane Knapp Computer Guy / Voice of Reason UC Berkeley EECS Research / RISELab Staff Technical Lead https://rise.cs.berkeley.edu
