chickadee » remote-mailbox » drop-local-mailbox!/server

drop-local-mailbox!/server REMOTE-MAILBOX-SERVER NAMEprocedure

Forget the server's mailbox.