]> 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: 43b45df b79852f)
Merge pull request #4074 from dachary/wip-10220-giant
authorLoic Dachary <ldachary@redhat.com>
Sun, 22 Mar 2015 22:04:25 +0000 (23:04 +0100)
committerLoic Dachary <ldachary@redhat.com>
Sun, 22 Mar 2015 22:04:25 +0000 (23:04 +0100)
mon/Paxos.cc: 1033: FAILED assert(mon->is_leader())

Reviewed-by: Abhishek Lekshmanan <abhishek.lekshmanan@ril.com>
1  2 
src/common/config_opts.h patch | diff1 | diff2 | blob | history

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