Skip to content

Tiny fix: Update a comment on gossip in InternalLeaderLease()#1524

Merged
kkaneda merged 1 commit intomasterfrom kkaneda/gossipJun 28, 2015
+4-4

Commits

Commits on Jun 27, 2015