> > 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.
> > 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.