Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Updated PHP 7.1 from RC6 to stable 7.1.0 #3795
This patch updates the PHP 7.1 formula to 7.1.0 (replacing the previous 7.1RC6).
Updated formulae for PHP71 stable release.
@devjack We've been leaving it like that for now just accepting that it breaks the CI bot. We could remove the include but I don't know if someone is currently depending on it but potentially we could make i optional (like using --with-headers) so it doesn't break the CI.