]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph-build.git/commitdiff
Merge pull request #743 from dmick/master
authorAlfredo Deza <alfredo@deza.pe>
Thu, 15 Jun 2017 11:34:41 +0000 (07:34 -0400)
committerGitHub <noreply@github.com>
Thu, 15 Jun 2017 11:34:41 +0000 (07:34 -0400)
ceph-docs/build/build: don't try to skip if not a merge commit


Trivial merge