Re: "make dist" fails

[Bruno Haible via GNU coreutils General Discussion]

Pádraig Brady wrote:
> > It looks like a consequence of commit 
> > b545f6e6f3fcbd9cf5646fe1e4bf4a9d0c150c89.
> 
> Oops, I pushed a fix for that now.

With that, the CI passed now.

Bruno