1 files changed, 1 insertions, 0 deletions
diff --git a/g10/g10.c b/g10/g10.c
index ca8d8eff0..fbacee1fb 100644
--- a/g10/g10.c
+++ b/g10/g10.c
@@ -1092,6 +1092,7 @@ main( int argc, char **argv )
     opt.keyserver_options.export_options=
       EXPORT_INCLUDE_NON_RFC|EXPORT_INCLUDE_ATTRIBUTES;
     opt.keyserver_options.include_subkeys=1;
+    opt.keyserver_options.include_revoked=1;
 #if defined (__MINGW32__) || defined (__CYGWIN32__)
     opt.homedir = read_w32_registry_string( NULL, "Software\\GNU\\GnuPG", "HomeDir" );
 #else