From 9cb255be975314dcce3aaebf98e8a6cf84f4fc7c Mon Sep 17 00:00:00 2001
From: John Spray <john@neon.tech>
Date: Tue, 22 Aug 2023 14:05:08 +0100
Subject: [PATCH] Update pageserver/src/deletion_queue.rs

Co-authored-by: Christian Schwarz <christian@neon.tech>
---
 pageserver/src/deletion_queue.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pageserver/src/deletion_queue.rs b/pageserver/src/deletion_queue.rs
index 345836068e..d6fc80f567 100644
--- a/pageserver/src/deletion_queue.rs
+++ b/pageserver/src/deletion_queue.rs
@@ -469,7 +469,7 @@ impl BackendQueueWorker {
                     }
 
                     if !self.accumulator.is_empty() {
-                        // We have a remainder, deletion list is not fully processed yet
+                        // We have a remainder, `list` not fully executed yet
                         self.pending_lists.push(list);
                     } else {
                         // We fully processed this list, it is ready for purge