From bacc52cf03e385c06641e39aa934def0cf95bdb1 Mon Sep 17 00:00:00 2001
From: Bojan Serafimov <bojan.serafimov7@gmail.com>
Date: Tue, 12 Jul 2022 17:46:27 -0400
Subject: [PATCH] CI-only clippy errors

---
 pageserver/src/page_service.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pageserver/src/page_service.rs b/pageserver/src/page_service.rs
index 7a3e9a0f2c..79b3e0861a 100644
--- a/pageserver/src/page_service.rs
+++ b/pageserver/src/page_service.rs
@@ -434,6 +434,7 @@ impl PageServerHandler {
         }
     }
 
+    #[allow(clippy::drop_non_drop)] // Only complains in CI, not sure why
     fn handle_pagerequests(
         &self,
         pgb: &mut PostgresBackend,