Subject: Re: bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath.

From: Lars Ingebrigtsen <[email-masked]>
Date: Sat, 05 Sep 2020 17:27:03 +0200

Lars Ingebrigtsen <[email-masked]> writes:

> Or...  we could work some more on this to fix these use cases.

Looking more at this, I think returning a 'display string here is just
wrong in most use cases, so I've reverted the patch (and Mauro's
follow-up patch that fixed some issues with the patch).

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