Jenkins is back online as of 11:44 AM PDT. Eric On 8/3/2016 12:51 AM, Eric Newberry wrote: > Jenkins is currently offline while I attempt to resolve some recent > issues. It should be back online by noon PDT on August 3 at the latest. > > Eric >