diff options
Diffstat (limited to 'g10/pkclist.c')
-rw-r--r-- | g10/pkclist.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/g10/pkclist.c b/g10/pkclist.c index 414c7efd2..6c08a6a45 100644 --- a/g10/pkclist.c +++ b/g10/pkclist.c @@ -369,7 +369,9 @@ do_we_trust_pre( PKT_public_key *pk, int trustlevel ) { int rc = do_we_trust( pk, trustlevel ); - if( !opt.batch && !rc ) { + if( (trustlevel & TRUST_FLAG_REVOKED) && !rc ) + return 0; + else if( !opt.batch && !rc ) { tty_printf(_( "It is NOT certain that the key belongs to its owner.\n" "If you *really* know what you are doing, you may answer\n" |