Please make sure these boxes are checked, before submitting a new PR.
- You ran
rustfmt
on the code base before submitting (on latest nightly with rustfmt support) - You reference which issue is being closed in the PR text (if applicable)
- You updated the OmniPaxos book (if applicable)
Reference or describe the issues this PR addresses.
Please document any breaking changes in this PR. Delete this section if there are none.
Start by giving a bullet list overview (for later inclusion in the release notes), before describing the details, if necessary.
Please document any changes in this PR not described in the previous section. Delete this section if there are none.
Start by giving a bullet list overview (for later inclusion in the release notes), before describing the details, if necessary.