{"head":"36585ff56b896bd95d37fddc52527e67ed6dbfa5","size":1,"push_id":44737137,"shas":[["36585ff56b896bd95d37fddc52527e67ed6dbfa5","a62716327661e81948dd29423c017a84961e30c2@auckland.ac.nz","Added default option for jobsToBeKilled for killJobs() method.","Markus Binsteiner"]],"ref":"refs/heads/develop"}