On 05/03/2018 08:01 AM, Paul Eggert wrote:
> I like the new behavior.

+1



Reply via email to