]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
projects / ceph.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 888bf53 ee89344)
Merge PR #25841 into master
authorSage Weil <sage@redhat.com>
Thu, 10 Jan 2019 22:50:09 +0000 (16:50 -0600)
committerSage Weil <sage@redhat.com>
Thu, 10 Jan 2019 22:50:09 +0000 (16:50 -0600)
* refs/pull/25841/head:
mon/MonClient: make mon hunt more aggressive

Reviewed-by: Kefu Chai <kchai@redhat.com>
1  2 
src/common/options.cc patch | diff1 | diff2 | blob | history

diff --cc src/common/options.cc
Simple merge
Unnamed repository; edit this file 'description' to name the repository.