search

raft / raft.github.io

website at https://raft.github.io
1.37k stars 213 forks source link

Fix wrong link #179

Closed YaoC closed 1 year ago

YaoC commented 1 year ago

The link to "Planning for Change in a Formal Verification of the Raft Consensus Protocol" is wrong, which duplicates the link below.

ongardie commented 1 year ago

Thanks @YaoC