From e3de544c22feb01437a060e88249652c103cb612 Mon Sep 17 00:00:00 2001
From: Christian Nielsen <Urcra@users.noreply.github.com>
Date: Thu, 29 Oct 2020 15:49:42 +0100
Subject: [PATCH] Remove empty lines in doc comment

Co-authored-by: Philipp Krones <hello@philkrones.com>
---
 clippy_lints/src/len_zero.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/clippy_lints/src/len_zero.rs b/clippy_lints/src/len_zero.rs
index d0e7dea4a54..8e2f03d6e4e 100644
--- a/clippy_lints/src/len_zero.rs
+++ b/clippy_lints/src/len_zero.rs
@@ -85,7 +85,7 @@
     /// if s == "" {
     ///     ..
     /// }
-
+    ///
     /// if arr == [] {
     ///     ..
     /// }
@@ -95,7 +95,7 @@
     /// if s.is_empty() {
     ///     ..
     /// }
-
+    ///
     /// if arr.is_empty() {
     ///     ..
     /// }
-- 
2.44.0