612dd4b update to 7.2.4RC1

Authored and Committed by remi 6 years ago
    update to 7.2.4RC1
    
        
file modified
+1 -0
php-7.2.4-dlopen.patch php-7.1.3-dlopen.patch
file renamed
+9 -9
php-7.2.4-fixheader.patch php-7.2.3-fixheader.patch
file renamed
+5 -5
file modified
+8 -5
file modified
+1 -1