doc: Minor doc fix to dirmngr.
authorWerner Koch <wk@gnupg.org>
Fri, 3 May 2019 14:15:04 +0000 (16:15 +0200)
committerDaniel Kahn Gillmor <dkg@fifthhorseman.net>
Fri, 1 Jul 2022 16:06:43 +0000 (17:06 +0100)
commitcabdfa715f5c635dfde072b827d8219b96d4b31f
treeb5ae1fc772d7cec4168c034d6b77650be8dd20cb
parentd78f67bbbd3f3cae1635b0e662d5df84f5e0ce55
doc: Minor doc fix to dirmngr.

--

Reported-by: dkg
(cherry picked from commit 781d2c5c8995b92e58fcf344fa8931523583f537)

Gbp-Pq: Topic from-2.2.16
Gbp-Pq: Name doc-Minor-doc-fix-to-dirmngr.patch
doc/dirmngr.texi