On Tue, Apr 22, 2008 at 8:45 PM, James P. Howard, II <jh at jameshoward.us> wrote: > Generally speaking, yes. But if the user has not yet published his > key, there is no harm in just removing it. Of course, nonetheless "revoking" instead of "deleting" is usually the way to go talking about pgp/gnupg.