Subject: Re: [bug#41562] use consistent arguments.
From: Marius Bakke <[email-masked]>
To: Tom Zander <[email-masked]>, [email-masked]
Date: Sat, 30 May 2020 14:34:01 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Tom Zander <[email-masked]> writes:

> On zaterdag 30 mei 2020 10:07:09 CEST Marius Bakke wrote:
>> I don't think passing -Denable_gui=OFF twice makes a difference.  Does
>> it?
>
> LOL, yeah, you are right. It doesn't. 

:-)

> Here is a new patch.

I fixed the missing [arguments] in the commit message and applied.
Thank you!