Re: Better emoji support, Re: Better emoji support

[Stephen Berman]

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