New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update crates version in README #109

Merged

haraldng merged 1 commit into haraldng:master from Max-Meldrum:readme_crates_ver

Jun 28, 2023

Contributor

Max-Meldrum commented Jun 28, 2023

Please make sure these boxes are checked, before submitting a new PR.

You ran the local CI checker with ./check.sh with no errors
You reference which issue is being closed in the PR text (if applicable)
You updated the OmniPaxos book (if applicable)


Update crates version in README

52bd510

haraldng merged commit 44e5660 into haraldng:master

Max-Meldrum deleted the readme_crates_ver branch

June 28, 2023 08:43

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment