doc: Minor edit for a gpg option.
authorWerner Koch <wk@gnupg.org>
Tue, 14 May 2019 08:07:06 +0000 (10:07 +0200)
committerDaniel Kahn Gillmor <dkg@fifthhorseman.net>
Fri, 1 Jul 2022 16:06:43 +0000 (17:06 +0100)
commita5cc15be096eee6b2446626e3057f045ed093d53
tree0c9a6cac6124c51d761be14b7465150bd5547e81
parent157700596d8370f4cd988da53b3a79a3111fd534
doc: Minor edit for a gpg option.

--
GnuPG-bug-id: 4507

(cherry picked from commit 49a679eb3596ef273afacb49ef9044c4a063694b)

Gbp-Pq: Topic from-2.2.16
Gbp-Pq: Name doc-Minor-edit-for-a-gpg-option.patch
doc/gpg.texi