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)
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>

Trivial merge