From 9227270bcc78112786d4bb18c79012720dbcbc1d Mon Sep 17 00:00:00 2001
From: Martin Hoffmann <martin@nlnetlabs.nl>
Date: Tue, 17 Sep 2019 14:01:40 +0200
Subject: [PATCH] Override Clippy.

---
 src/rrdp/cache.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/rrdp/cache.rs b/src/rrdp/cache.rs
index d189d07..d38fdca 100644
--- a/src/rrdp/cache.rs
+++ b/src/rrdp/cache.rs
@@ -184,6 +184,7 @@ impl<'a> Run<'a> {
     ///
     /// Returns `None` if creating failed or if the server is unknown and
     /// updating is disabled
+    #[allow(clippy::question_mark)] // Explicit if: more understandable code
     pub fn load_server(&self, notify_uri: &uri::Https) -> Option<ServerId> {
         let res = unwrap!(self.servers.read()).find(notify_uri);
         let (id, server) = match res {