Le 18/02/2018 à 18:09, Igor Gnatenko a écrit :
If you fixed package(s), found false positive, found missing packages
in list
or anything else -- please let me know.
All php-* packages (C extensions) should already be ok, BR on php-devel
should be enough.
Remi