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

Done:


2024-06-15  Bruno Haible  <[email protected]>

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





Reply via email to