[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Encoding of etc/HELLO

From: Michael Albinus
Subject: Re: Encoding of etc/HELLO
Date: Fri, 20 Apr 2018 19:37:30 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)

Paul Eggert <address@hidden> writes:

>> No problem to revert the patch, it isn't important.
> If you revert it, please also revert commit
> 0585bd643dae2592214e77998b875347e6e59bab, which I installed before
> seeing this thread.

Done. I've reverted 0585bd643dae2592214e77998b875347e6e59bab and
c4cfb5d20487f9912f5896b3f1d291fe7ccc9804. I haven't reverted
e2ae724460e6d73d3ddcc6066427471799c4bd57, because Stefan did commit a
better patch on top of this.

> It's true that this isn't important. Still, I like the the "hello"
> emoji; it's friendly.

Yes, that was the idea. It's a pity that we cannot add valid utf-8
characters to etc/HELLO, when they are not iso-2022-7bit compatible.

Best regards, Michael.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]