Le 15/03/2017 à 16:12, Remi Collet a écrit :
I rebuilt PHP with a minor cleanup which solves this issue
RPM team is working on it.
A new RPM build is also available in rawhide
Everything going back to normal (Koschei have only rebuilt some
packages, but all are ok now, and other should follow shortly)
Remi.