>>>>> "CC" == Charles Cazabon <charl...@pyropus.ca> writes: CC> getmail will remove entries from them that it knows are no longer needed
That is great to know! However 2017-08-08 20:37:20 msg 1/34 (3122 bytes) msgid 1243652154/79861 from <charl...@pyropus.ca> delivered to MDA_external command procmail (), deleted 2017-08-08 20:37:21 msg 2/34 (3391 bytes) msgid 1243652154/79862 from <os...@debian.org> delivered to MDA_external command procmail (), deleted 2017-08-08 20:37:21 msg 3/34 (3409 bytes) msgid 1243652154/79863 from <os...@debian.org> delivered to MDA_external command procmail (), deleted 2017-08-08 20:37:22 msg 4/34 (3410 bytes) msgid 1243652154/79864 from <os...@debian.org> delivered to MDA_external command procmail (), deleted all say "deleted", but in the oldmail file one still sees 1243652154/79867^@1502195833 1243652154/79864^@1502195833 1243652154/79865^@1502195833 1243652154/79862^@1502195833 etc. So maybe there really is a bug! The mail is no longer upsteam, no longer downstream, so there is no longer a need for a record, no?