Auto merge of #4370 - vallentin:master, r=flip1995

bors · bors · commit 7a0ac4c25db5 · 2019-08-11T18:42:16.000Z
Fixed repeated word

changelog: none
diff --git a/clippy_lints/src/write.rs b/clippy_lints/src/write.rs
@@ -73,7 +73,7 @@ declare_clippy_lint! {
     /// lint is to catch debugging remnants.
     ///
     /// **Why is this bad?** The purpose of the `Debug` trait is to facilitate
-    /// debugging Rust code. It should not be used in in user-facing output.
+    /// debugging Rust code. It should not be used in user-facing output.
     ///
     /// **Example:**
     /// ```rust
