From 5a1261969a3b39549c38ae5357af7fe02bd8bde2 Mon Sep 17 00:00:00 2001
From: Martin Hoffmann <martin@nlnetlabs.nl>
Date: Mon, 22 Mar 2021 11:10:20 +0100
Subject: [PATCH] Downgrade doc comment.

---
 src/collector/rrdp.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/collector/rrdp.rs b/src/collector/rrdp.rs
index dae99cf..9fdc894 100644
--- a/src/collector/rrdp.rs
+++ b/src/collector/rrdp.rs
@@ -178,8 +178,8 @@ impl Collector {
                 }
             });
 
-            /// Use the URI’s authority as the directory name, possibly
-            /// append a number to make it unique.
+            // Use the URI’s authority as the directory name, possibly
+            // append a number to make it unique.
             let repo_dir_name = if !repos.contains_key(uri.authority()) {
                 String::from(uri.authority())
             }