bug#70783: closed ([PATCH] Allow compilation messages to be suppressed)

[GNU bug Tracking System]

Your message dated Tue, 07 May 2024 09:38:38 +0200
with message-id <m2y18mt6kh.fsf@macmutant.fritz.box>
and subject line Re: bug#70783: [PATCH] Allow compilation messages to be 
suppressed
has caused the debbugs.gnu.org bug report #70783,
regarding [PATCH] Allow compilation messages to be suppressed
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
70783: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70783
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] Allow compilation messages to be suppressed Date: Sun, 5 May 2024 14:24:02 +0200

This patch introduces a dynamic variable that allows suppression of the messages "Type (...) to display results of compilation."

Thanks, best,

Paul

0001-Allow-compilation-messages-to-be-suppressed.patch
Description: Binary data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#70783: [PATCH] Allow compilation messages to be suppressed
>
>
>
>
> Date: 
>
> Tue, 07 May 2024 09:38:38 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13)
>
>
>
>
> Paul Nelson <ultrono@gmail.com> writes:
>
> > Such messages still appear in the *Messages* buffer.  I think it'd be
> > better to suppress them altogether.  This patch (and a couple other
> > hacks in my own code) would allow me to do so.
>
> Thanks, I installed it with commit cba5820c, closing.
>
> Best, Arash
>
>
> --- End Message ---