]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge commit 'refs/pull/4/head' of github.com:batrick/ceph into ptl-tool-2 18032/head
authorPatrick Donnelly <pdonnell@redhat.com>
Fri, 6 Oct 2017 02:35:09 +0000 (19:35 -0700)
committerPatrick Donnelly <pdonnell@redhat.com>
Fri, 6 Oct 2017 02:35:09 +0000 (19:35 -0700)
* refs/pull/4/head:
  script/ptl-tool.py: Label Validation


Trivial merge