Subject: Re: bug#43467: [PATCH] defcustom warning-show-suppression-buttons correction

From: No Wayman <[email-masked]>
Date: Thu, 17 Sep 2020 14:08:10 -0400

Lars Ingebrigtsen <[email-masked]> writes:

> No Wayman <[email-masked]> writes:

> I think that's a very unusual thing to do, so it doesn't seem 
> much like
> a use case.

We don't see eye to eye on this, but fair enough.
I've offered the patch and my justification. I have nothing more 
to add.