Merge pull request #68261 from etu/php72-update

php72: 7.2.21 -> 7.2.22
This commit is contained in:
Robin Gloster 2019-09-07 18:48:05 +02:00 committed by GitHub
commit 5f58361017
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -254,8 +254,8 @@ let
in {
php72 = generic {
version = "7.2.21";
sha256 = "1vqldc2namfblwyv87fgpfffkjpzawfpcp48f40nfdl3pshq6c9l";
version = "7.2.22";
sha256 = "12phn0rrd5r1j6xlz83h7v6gszmj4lb5gwj927psbbc6nn1rh2n1";
# https://bugs.php.net/bug.php?id=76826
extraPatches = optional stdenv.isDarwin ./php72-darwin-isfinite.patch;