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

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

Forget the server's mailbox.