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

From: Lars Ingebrigtsen <[email-masked]>
Date: Fri, 18 Sep 2020 15:14:03 +0200

No Wayman <[email-masked]> writes:

> 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.

OK; then it seems unlikely that we'll make further progress in this bug
report, and I'm closing it.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no