Update clippy_lints/src/types.rs

farnz · flip1995 · rokob · commit b39cd7fe555e · 2020-04-16T23:34:19.000-07:00
Co-Authored-By: Philipp Krones &lt;hello@philkrones.com&gt;
diff --git a/clippy_lints/src/types.rs b/clippy_lints/src/types.rs
@@ -124,7 +124,6 @@ declare_clippy_lint! {
     ///     Contents::None
     /// }
     /// ```
-    ///
     pub OPTION_OPTION,
     pedantic,
     "usage of `Option<Option<T>>`"
