From 88d6fb53f0c53454bee631dd53108746d14ed49f Mon Sep 17 00:00:00 2001
From: Steven Palma <imstevenpmwork@ieee.org>
Date: Mon, 31 Jul 2023 18:34:11 +0200
Subject: [PATCH] Update rust-toolchain (#142)

---
 rust-toolchain | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rust-toolchain b/rust-toolchain
index 49349856..df484cbb 100644
--- a/rust-toolchain
+++ b/rust-toolchain
@@ -1 +1 @@
-1.69.0
+1.71.0