]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge branch 'wip-pool-delete'
authorJosh Durgin <josh.durgin@inktank.com>
Tue, 29 Jan 2013 00:53:41 +0000 (16:53 -0800)
committerJosh Durgin <josh.durgin@inktank.com>
Tue, 29 Jan 2013 00:53:53 +0000 (16:53 -0800)
Reviewed-by: Josh Durgin <josh.durgin@inktank.com>
1  2 
src/mon/OSDMonitor.cc

Simple merge