Merge branch 'main' into fix-cbmc-update-script

tautschnig · Apr 23, 2024 · 7e0e238 · 7e0e238
2 parents d252196 + a4e69eb
commit 7e0e238
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Cargo.lock b/Cargo.lock
@@ -860,9 +860,9 @@ checksum = "d626bb9dae77e28219937af045c257c28bfd3f69333c512553507f5f9798cb76"
 
 [[package]]
 name = "rustix"
-version = "0.38.33"
+version = "0.38.34"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e3cc72858054fcff6d7dea32df2aeaee6a7c24227366d7ea429aada2f26b16ad"
+checksum = "70dc5ec042f7a43c4a73241207cecc9873a06d45debb38b329f8541d85c2730f"
 dependencies = [
  "bitflags 2.5.0",
  "errno",