Subject: Substitute buttons and 'help-echo property

From: Stefan Kangas <[email-masked]>
Date: Thu, 27 Aug 2020 05:15:53 -0700

Hi Basil,

You have a patch in this thread which was never pushed:

    https://lists.gnu.org/archive/html/emacs-devel/2019-10/msg00215.html

Could you please push this patch to master?  AFAICT, everyone agreed
that it should be pushed.

This bug is a followup to:

    https://debbugs.gnu.org/cgi/bugreport.cgi?bug=37628

Thanks in advance.

Best regards,
Stefan Kangas