]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph-build.git/commitdiff
Merge pull request #444 from ceph/ceph-dev-updates
authorAlfredo Deza <alfredo@deza.pe>
Mon, 29 Aug 2016 20:29:57 +0000 (16:29 -0400)
committerGitHub <noreply@github.com>
Mon, 29 Aug 2016 20:29:57 +0000 (16:29 -0400)
support for concurrent ceph-dev-setup and ceph-dev-build jobs


Trivial merge