bug#72949: Gnus sometimes reports new messages but not showing them on IMAP server

> From: Robert Pluim <[email protected]>
> Cc: Stefan Kangas <[email protected]>,
>     Eric Abrahamsen <[email protected]>,  Eli Zaretskii
>  <[email protected]>,  <[email protected]>,  <[email protected]>
> Date: Fri, 11 Oct 2024 15:36:43 +0200
> 
> >>>>> On Wed, 02 Oct 2024 18:55:28 +0200, Robert Pluim <[email protected]> said:
> 
> >>>>> On Tue, 1 Oct 2024 22:25:24 +0000, Dan Christensen <[email protected]> said:
>     Dan> On Oct  1, 2024, Stefan Kangas <[email protected]> wrote:
>     >>>> On Sep 24, 2024, Dan Christensen <[email protected]> wrote:
>     >>>> 
>     >>>>> So how do we go about getting this merged?
>     >>> 
>     >>> I think we're just waiting for someone familiar with Gnus to take a
>     >>> look at it.
> 
>     Dan> Ok, thanks for explaining more about the process.  I was hoping that
>     Dan> since the fix is minor, it could go in now, but I'm fine with waiting
>     Dan> for a review.
> 
>     Robert> Iʼve reviewed it, and it looks ok. Since I uses Gnus + nnimap here,
>     Robert> Iʼll apply it and see if it breaks anything.
> 
> It doesnʼt appear to have broken anything here, so I think we can
> apply it. I think itʼs small enough not to need copyright assignment,
> but Iʼll leave it to the maintainers to confirm.

It's small enough, yes.  Just please don't forget the
Copyright-paperwork-exempt thingy.

Thanks.