1
0
Fork 0
mirror of git://git.gnupg.org/gnupg.git synced 2025-07-03 22:56:33 +02:00

doc: Minor man page fixes.

--
This commit is contained in:
Werner Koch 2023-01-11 09:00:56 +01:00
parent 9a012d2c53
commit 17b985787e
No known key found for this signature in database
GPG key ID: E3FDFF218E45B72B
2 changed files with 3 additions and 4 deletions

View file

@ -320,8 +320,8 @@ keyserver name, optional keyserver configuration options may be
provided. These are the same as the @option{--keyserver-options} of
@command{gpg}, but apply only to this particular keyserver.
Most keyservers synchronize with each other, so there is generally no
need to send keys to more than one server. Somes keyservers use round
Some keyservers synchronize with each other, so there is not always a
need to send keys to more than one server. Some keyservers use round
robin DNS to give a different keyserver each time you use it.
If exactly two keyservers are configured and only one is a Tor hidden