From b375c9adbf54f8e9a0f30cad01ab9f10b9dfc7f9 Mon Sep 17 00:00:00 2001
From: Pierre Krieger <pierre.krieger1708@gmail.com>
Date: Tue, 13 Nov 2018 16:23:17 +0100
Subject: [PATCH] Remove rust-toolchain file (#9906)

---
 rust-toolchain | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 rust-toolchain

diff --git a/rust-toolchain b/rust-toolchain
deleted file mode 100644
index 2bf5ad044..000000000
--- a/rust-toolchain
+++ /dev/null
@@ -1 +0,0 @@
-stable