From 335743c391405d1a503924235961dc0a2dde13ad Mon Sep 17 00:00:00 2001
From: OlivierHecart <olivier.hecart@adlinktech.com>
Date: Fri, 15 Sep 2023 11:59:18 +0200
Subject: [PATCH] Change rust-toolchain to rust-toolchain.toml file and bump to
 1.72.0

---
 rust-toolchain      | 1 -
 rust-toolchain.toml | 2 ++
 2 files changed, 2 insertions(+), 1 deletion(-)
 delete mode 100644 rust-toolchain
 create mode 100644 rust-toolchain.toml

diff --git a/rust-toolchain b/rust-toolchain
deleted file mode 100644
index df484cb..0000000
--- a/rust-toolchain
+++ /dev/null
@@ -1 +0,0 @@
-1.71.0
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
new file mode 100644
index 0000000..743f7cd
--- /dev/null
+++ b/rust-toolchain.toml
@@ -0,0 +1,2 @@
+[toolchain]
+channel = "1.72.0"