]> git.apps.os.sepia.ceph.com Git - ceph-build.git/commitdiff
Merge pull request #835 from ceph/pr-docs-concurrent
authorAndrew Schoen <andrew.schoen@gmail.com>
Wed, 16 Aug 2017 15:05:56 +0000 (10:05 -0500)
committerGitHub <noreply@github.com>
Wed, 16 Aug 2017 15:05:56 +0000 (10:05 -0500)
ceph-pr-docs: make build concurrent


Trivial merge