From ae98a45b4b01682ea35b46433a75c6fc20a13475 Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Sun, 31 Dec 2023 15:06:29 +0000
Subject: [PATCH] Braino: < for <=.

Would have caused an unnecessary coarsen_pos() if we were sitting on
the first _non-header_ item in a file at the point when it failed to
extend backwards.
---
 src/file.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/file.rs b/src/file.rs
index da42aaf..8727c55 100644
--- a/src/file.rs
+++ b/src/file.rs
@@ -455,7 +455,7 @@ impl<Type: FeedType> ActivityState for FeedFile<Type> {
                                 // Can't extend this any further into the past
                                 // FIXME: this is not tested yet
                                 self.contents.extender = None;
-                                if self.pos.item() <= self.contents.origin {
+                                if self.pos.item() < self.contents.origin {
                                     self.coarsen_pos();
                                     if self.pos.item() <
                                         self.contents.first_index()
-- 
2.30.2