Update hax-lib-protocol/Cargo.toml

Co-authored-by: Franziskus Kiefer <[email protected]>
hacspec · Oct 10, 2024 · c8522bf · c8522bf
1 parent 8d58752
commit c8522bf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hax-lib-protocol/Cargo.toml b/hax-lib-protocol/Cargo.toml
@@ -12,4 +12,4 @@ readme.workspace = true
 libcrux = "0.0.2-pre.2"
 
 [package.metadata.release]
-release = false
+release = false