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

>>>>> On Fri, 11 Oct 2024 13:45:05 +0000, Dan Christensen <[email protected]> said:

    Dan> On Oct 11, 2024, Robert Pluim <[email protected]> wrote:
    >> 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.

    Dan> Thanks, Robert!  I submitted the copyright paperwork many years ago,
    Dan> so we should be good to go.

Hmm, youʼre in etc/AUTHORS, but there are no commits with '[email protected]'
on them. Probably a victim of the Great Gnus Merge a few years ago :-)

Robert
--