[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Better emoji support, Re: Better emoji support
From: |
Stephen Berman |
Subject: |
Re: Better emoji support, Re: Better emoji support |
Date: |
Fri, 17 Sep 2021 19:49:31 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
On Fri, 17 Sep 2021 19:37:39 +0200 Robert Pluim <rpluim@gmail.com> wrote:
>>>>>> On Fri, 17 Sep 2021 19:17:14 +0200, Stephen Berman
> <stephen.berman@gmx.net> said:
>
> >> Hmm. What does '/usr/bin/awk --version' on your system?
>
> Stephen> $ /usr/bin/awk --version
> Stephen> GNU Awk 5.1.0, API: 3.0 (GNU MPFR 4.1.0, GNU MP 6.2.1)
> Stephen> Copyright (C) 1989, 1991-2020 Free Software Foundation.
>
> martin> Invalid script or charset name: latin
>
> martin> martin
>
> I guess youʼre both building out-of-tree?
Yes, I am.
> Please pull and try again.
Now it works again (after bootstrapping; just make didn't regenerate
charscript.el). Thanks for fixing it.
Steve Berman
- Re: Better emoji support, (continued)
- Re: Better emoji support, Stephen Berman, 2021/09/17
- Re: Better emoji support, Eli Zaretskii, 2021/09/17
- Re: Better emoji support, Stephen Berman, 2021/09/17
- Re: Better emoji support, Robert Pluim, 2021/09/17
- Re: Better emoji support, Stephen Berman, 2021/09/17
- Re: Better emoji support, Robert Pluim, 2021/09/17
- Re: Better emoji support, Stephen Berman, 2021/09/17
- Re: Better emoji support, Re: Better emoji support, Robert Pluim, 2021/09/17
- Re: Better emoji support, Re: Better emoji support,
Stephen Berman <=
- Re: Better emoji support, Re: Better emoji support, Robert Pluim, 2021/09/17
- Re: Better emoji support, Re: Better emoji support, martin rudalics, 2021/09/17
- Re: Better emoji support, Re: Better emoji support, Robert Pluim, 2021/09/17
- Re: Better emoji support, Re: Better emoji support, Stephen Berman, 2021/09/17
- Re: Better emoji support, Re: Better emoji support, martin rudalics, 2021/09/17
- Re: Better emoji support, martin rudalics, 2021/09/17
- Re: Better emoji support, Eli Zaretskii, 2021/09/17
- Re: Better emoji support, Robert Pluim, 2021/09/17
- Re: Better emoji support, Eli Zaretskii, 2021/09/18
- Re: Better emoji support, Eli Zaretskii, 2021/09/18