[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Better emoji support, Re: Better emoji support
From: |
Robert Pluim |
Subject: |
Re: Better emoji support, Re: Better emoji support |
Date: |
Fri, 17 Sep 2021 19:51:49 +0200 |
>>>>> On Fri, 17 Sep 2021 19:49:31 +0200, Stephen Berman
>>>>> <stephen.berman@gmx.net> said:
Stephen> 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?
Stephen> Yes, I am.
>> Please pull and try again.
Stephen> Now it works again (after bootstrapping; just make didn't
regenerate
Stephen> charscript.el). Thanks for fixing it.
I broke it in the first place, I kinda felt obliged to fix it. Thanks
for testing.
Iʼll see if I can add the missing dependency so bootstrapping isnʼt required.
Robert
--
- Re: Better emoji support, (continued)
- Re: Better emoji support, Robert Pluim, 2021/09/17
- 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, 2021/09/17
- Re: Better emoji support, Re: Better emoji support,
Robert Pluim <=
- 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
- Re: Better emoji support, Juri Linkov, 2021/09/19