]> git-server-git.apps.pok.os.sepia.ceph.com Git - teuthology.git/commitdiff
Merge pull request #1241 from ceph/wip-job-id
authorvasukulkarni <vasu.kulkarni@gmail.com>
Mon, 3 Dec 2018 23:32:42 +0000 (15:32 -0800)
committerGitHub <noreply@github.com>
Mon, 3 Dec 2018 23:32:42 +0000 (15:32 -0800)
Remove unused 'machine_type' parameter from kill_job()


Trivial merge