[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 21:44:52 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
On Fri, 17 Sep 2021 20:58:11 +0200 Robert Pluim <rpluim@gmail.com> wrote:
>>>>>> On Fri, 17 Sep 2021 20:53:32 +0200, martin rudalics <rudalics@gmx.at>
>>>>>> said:
>
> >> Iʼll see if I can add the missing dependency so bootstrapping isnʼt
> required.
> martin> Hmmm... it apparently was regenerated here without bootstrapping.
>
> martin> martin
>
> The dependency on blocks.awk is there in the Makefile, so I canʼt
> explain why it didnʼt regenerate for Stephen.
Perhaps I was mistaken; I visited the file after you had asked me about
it and thought I reverted it after running make, but apparently I
didn't.
Steve Berman
- Re: Better emoji support, (continued)
- 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, 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 <=
- 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
- Re: Better emoji support, Kévin Le Gouguec, 2021/09/19
- Re: Better emoji support, Robert Pluim, 2021/09/19
- Re: Better emoji support, Robert Pluim, 2021/09/19