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