From ecc5c0a57d21ed0b926fd1a8528fd25325bc7d0f Mon Sep 17 00:00:00 2001
From: Michael Wright <mikerite@lavabit.com>
Date: Fri, 15 Mar 2019 08:17:44 +0200
Subject: [PATCH] Add rust-toolchain for clippy_dev

---
 clippy_dev/rust-toolchain | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 clippy_dev/rust-toolchain

diff --git a/clippy_dev/rust-toolchain b/clippy_dev/rust-toolchain
new file mode 100644
index 00000000000..2bf5ad0447d
--- /dev/null
+++ b/clippy_dev/rust-toolchain
@@ -0,0 +1 @@
+stable