GNU bug report logs - #70783
[PATCH] Allow compilation messages to be suppressed

Previous Next

Full log

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Paul Nelson <ultrono <at> gmail.com>
To: bug-auctex <at> gnu.org
Subject: [PATCH] Allow compilation messages to be suppressed
Date: Sun, 5 May 2024 14:24:02 +0200

[Message part 1 (text/plain, inline)]

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

Thanks, best,

Paul

[Message part 2 (text/html, inline)]

[0001-Allow-compilation-messages-to-be-suppressed.patch (application/octet-stream, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.