99445f475b
Avoid the term "leader selection" here. More precise terms are "leader scheduling", "leader rotation", and "fork selection." |
||
---|---|---|
.. | ||
art | ||
src | ||
book.toml | ||
build.sh | ||
makefile |
99445f475b
Avoid the term "leader selection" here. More precise terms are "leader scheduling", "leader rotation", and "fork selection." |
||
---|---|---|
.. | ||
art | ||
src | ||
book.toml | ||
build.sh | ||
makefile |