Automated Rust Crate Version Bump: Fri Oct 27 21:47:56 UTC 2023 6d86dbe…

… (#1694) Co-authored-by: Automated Publisher <actions@users.noreply.github.com>
mit-plv · Oct 27, 2023 · fba598d · fba598d
1 parent 6d86dbe
commit fba598d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/fiat-rust/Cargo.toml b/fiat-rust/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "fiat-crypto"
-version = "0.2.2"
+version = "0.2.3"
 authors = ["Fiat Crypto library authors <jgross@mit.edu>"]
 edition = "2018"
 description = "Fiat-crypto generated Rust"