Synopsis: pop: Ignore already-deleted messages while syncing **** Comment added by tamo on Sun, 14 May 2006 07:09:34 +0200 **** - Modifying the synopsis and description because, as pdmef noted in #2226, mutt doesn't have a bug to delete messages. Mutt only tries to delete some already-deleted messages on quitting. I was wrong. - Modifying the Fix section: "unknown" -> "patch" because My patch works fine so far.