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

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 07 May 2024 07:40:02 +0000

Your bug report

#70783: [PATCH] Allow compilation messages to be suppressed

which was filed against the auctex package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
70783: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70783
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#70783: [PATCH] Allow compilation messages to be suppressed
From: Arash Esbati <[email-masked]>
To: Paul Nelson <[email-masked]>
Cc: [email-masked]
Date: Tue, 07 May 2024 09:38:38 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Paul Nelson <[email-masked]> 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

Subject: [PATCH] Allow compilation messages to be suppressed
From: Paul Nelson <[email-masked]>
To: [email-masked]
Date: Sun, 5 May 2024 14:24:02 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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

Thanks, best,

Paul