]> git.apps.os.sepia.ceph.com Git - teuthology.git/commitdiff
Merge pull request #1187 from SUSE/wip-restart-workers
authorZack Cerza <zack@cerza.org>
Tue, 3 Jul 2018 23:41:54 +0000 (17:41 -0600)
committerGitHub <noreply@github.com>
Tue, 3 Jul 2018 23:41:54 +0000 (17:41 -0600)
Restart dead workers


Trivial merge