From fba598d3c92c00f303529c34f464f280fd236591 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Fri, 27 Oct 2023 14:56:33 -0700
Subject: [PATCH] Automated Rust Crate Version Bump: Fri Oct 27 21:47:56 UTC
 2023 6d86dbe6cc57d83c3e15c4a32df3b18e909a6095 (#1694)

Co-authored-by: Automated Publisher <actions@users.noreply.github.com>
---
 fiat-rust/Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fiat-rust/Cargo.toml b/fiat-rust/Cargo.toml
index df47d58188..478d2a9b5b 100644
--- 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"