Re: cppi

[Bruno Haible]

> > I propose to remove '.cppi-disable'.
> 
> Sounds good to me. I don't use cppi.

Done:


2024-06-15  Bruno Haible  <br...@clisp.org>

        Drop outdated cppi configuration.
        * lib/.cppi-disable: Remove file.