Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Tiny fix: Update a comment on gossip in InternalLeaderLease()
The code was changed by #884 so that gossip is published even when the replica is not a new lease holder.
- Loading branch information