Merge branch 'rm/gpg-program-doc-fix'
authorJunio C Hamano <gitster@pobox.com>
Thu, 25 Jul 2019 20:59:21 +0000 (13:59 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 25 Jul 2019 20:59:21 +0000 (13:59 -0700)
Docfix.

* rm/gpg-program-doc-fix:
gpg(docs): use correct --verify syntax

1  2 
Documentation/config/gpg.txt
Simple merge