From 3ad9290ea43fdf995dbb06af850ff7dbf53af620 Mon Sep 17 00:00:00 2001
From: Manish Goregaokar <manishsmail@gmail.com>
Date: Sun, 14 Oct 2018 23:41:35 -0700
Subject: [PATCH] Restore clippy_dummy's placeholder name

Fixes #3317
---
 clippy_dummy/Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/clippy_dummy/Cargo.toml b/clippy_dummy/Cargo.toml
index b53e89071ce..ed97cc45725 100644
--- a/clippy_dummy/Cargo.toml
+++ b/clippy_dummy/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "clippy" # rename to clippy before publishing
+name = "clippy_dummy" # rename to clippy before publishing
 version = "0.0.302"
 authors = ["Manish Goregaokar <manishsmail@gmail.com>"]
 edition = "2018"