Restore clippy_dummy's placeholder name

Manishearth · Manishearth · commit 3ad9290ea43f · 2018-10-14T23:41:37.000-07:00
Fixes #3317
diff --git 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"
