aboutsummaryrefslogtreecommitdiffstats
path: root/main/gnupg/change-default-keyserver.patch
diff options
context:
space:
mode:
Diffstat (limited to 'main/gnupg/change-default-keyserver.patch')
-rw-r--r--main/gnupg/change-default-keyserver.patch22
1 files changed, 0 insertions, 22 deletions
diff --git a/main/gnupg/change-default-keyserver.patch b/main/gnupg/change-default-keyserver.patch
index 8096fb9b8c..f2be04460d 100644
--- a/main/gnupg/change-default-keyserver.patch
+++ b/main/gnupg/change-default-keyserver.patch
@@ -23,25 +23,3 @@ the default keyserver from newer versions of gnupg to keyserver.ubuntu.com.
[The default keyserver for dirmngr to use, if none is explicitly given])
AC_DEFINE_UNQUOTED(GPGEXT_GPG, "gpg", [The standard binary file suffix])
---- a/doc/dirmngr.texi
-+++ b/doc/dirmngr.texi
-@@ -328,7 +328,7 @@
- done for each new connection.
-
- If no keyserver is explicitly configured, dirmngr will use the
--built-in default of hkps://hkps.pool.sks-keyservers.net.
-+built-in default of @code{https://keyserver.ubuntu.com}.
-
- @item --nameserver @var{ipaddr}
- @opindex nameserver
---- a/doc/gnupg.info-1
-+++ b/doc/gnupg.info-1
-@@ -1733,7 +1733,7 @@
- a running Tor is done for each new connection.
-
- If no keyserver is explicitly configured, dirmngr will use the
-- built-in default of hkps://hkps.pool.sks-keyservers.net.
-+ built-in default of https://keyserver.ubuntu.com.
-
- '--nameserver IPADDR'
- In "Tor mode" Dirmngr uses a public resolver via Tor to resolve DNS