On Sat, 20 Sep 2014 14:15, infinity0 at pwned.gg said: > It seems --delete-secret-key $UID will now select public keys as well, and offer them for deletion but do a no-op if you go ahead with it. Fix pushed. Thanks. Salam-Shalom, Werner -- Die Gedanken sind frei. Ausnahmen regelt ein Bundesgesetz.