From 7b276021da07d6705d1ce72d520345324a663b2d Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Sat, 30 Dec 2023 09:01:57 +0000
Subject: [PATCH] Remove an unnecessary drop.

I had imagined that explicitly dropping a reference would terminate a
borrow. But firstly, rustc 1.74 says it does nothing at all, and
secondly, therefore I infer that this particular borrow wasn't in the
way in any case.
---
 src/file.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/file.rs b/src/file.rs
index 68b7765..b08e32e 100644
--- a/src/file.rs
+++ b/src/file.rs
@@ -30,7 +30,6 @@ impl FeedFileContents {
         let feed = client.borrow_feed(&self.id);
         let ids: Vec<_> = feed.ids.iter().map(|x| x.clone()).collect();
         self.origin = feed.origin;
-        std::mem::drop(feed);
 
         self.items.clear();
         for id in ids {
-- 
2.30.2