Completion of replication and view-change protocol