Subject: Re: bug#4477: 23.1; logging minibuffer-message messages

From: Lars Ingebrigtsen <[email-masked]>
Date: Sat, 22 Aug 2020 18:37:26 +0200

Drew Adams <[email-masked]> writes:

> Why was this suddenly closed with no explanation?
> Was that perhaps a mistake?

No, the discussion happened on the merged bug report bug#3465.