Commit 754fbef4a792dd3ba1256dabdbf5c3d5a6e59341

Thomas de Grivel 2025-08-27T23:00:11

fix DESTDIR in make install