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. _______________________________________________ php-devel mailing list -- php-devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to php-devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
