Merge pull request #5380 from dachary/wip-12390-hammer
authorLoic Dachary <loic@dachary.org>
Sun, 30 Aug 2015 13:49:41 +0000 (15:49 +0200)
committerLoic Dachary <loic@dachary.org>
Sun, 30 Aug 2015 13:49:41 +0000 (15:49 +0200)
commit7357659b59d9bf3522bf664f1a3da7475a7c8a49
treea529e02897170d5d9416944f98b81fe5b9897887
parent8f559d58b42b91f070bfa590d9c33e9a156e0066
parent8a2ad0540994efe530a1775ebd949aeaf6609e57
Merge pull request #5380 from dachary/wip-12390-hammer

PGLog::proc_replica_log: correctly handle case where entries between olog.head and log.tail were split out

Reviewed-by: Sage Weil <sage@redhat.com>