From a29ac8b8a2ccb4be9654b854fdd9312a00f75de2 Mon Sep 17 00:00:00 2001
From: Christian Schwarz <christian@neon.tech>
Date: Wed, 31 Jan 2024 13:14:36 +0100
Subject: [PATCH] clippy (again?)

---
 pageserver/src/walredo.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pageserver/src/walredo.rs b/pageserver/src/walredo.rs
index d1d9af7a1d..468606663c 100644
--- a/pageserver/src/walredo.rs
+++ b/pageserver/src/walredo.rs
@@ -25,7 +25,6 @@ use pageserver_api::shard::TenantShardId;
 use serde::Serialize;
 use std::collections::VecDeque;
 use std::io;
-use std::io::prelude::*;
 use std::ops::{Deref, DerefMut};
 use std::os::unix::prelude::CommandExt;
 use std::process::Stdio;