Subject: Re: bug#77937: Patch for tiny documentation typo
From: Karl Berry <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Sat, 3 May 2025 11:10:44 -0600
List-Id: <debbugs-submit.debbugs.gnu.org>

-The '--test-name', '-log-file' and '--trs-file' options are mandatory.
    +The '--test-name', '--log-file' and '--trs-file' options are mandatory.

Thanks Reuben. I installed it. -k