Subject: Re: bug#40863: [PATCH] Improve the display-time-world UI

From: Eli Zaretskii <[email-masked]>
Date: Sun, 26 Apr 2020 17:08:33 +0300

> From: Stefan Kangas <[email-masked]>
> Date: Sun, 26 Apr 2020 10:56:03 +0200
> 
> -(defcustom display-time-world-buffer-name "*wclock*"
> +(defcustom display-time-world-buffer-name "*World Clock*"

Is this part really necessary? what if some application or user out
there expects the old name?

Thanks.