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

[Eli Zaretskii <eliz@gnu.org>]

> From: Robert Pluim <rpluim@gmail.com>
> Cc: Stefan Kangas <stefankangas@gmail.com>,
>     Eric Abrahamsen <eric@ericabrahamsen.net>,  Eli Zaretskii
>  <eliz@gnu.org>,  <ding@gnus.org>,  <72949@debbugs.gnu.org>
> Date: Fri, 11 Oct 2024 15:36:43 +0200
> 
> >>>>> On Wed, 02 Oct 2024 18:55:28 +0200, Robert Pluim <rpluim@gmail.com> said:
> 
> >>>>> On Tue, 1 Oct 2024 22:25:24 +0000, Dan Christensen <jdc@uwo.ca> said:
>     Dan> On Oct  1, 2024, Stefan Kangas <stefankangas@gmail.com> wrote:
>     >>>> On Sep 24, 2024, Dan Christensen <jdc@uwo.ca> 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.