Merge pull request #42558 from etu/php-update

php71: 7.1.18 -> 7.1.19
This commit is contained in:
xeji 2018-06-25 13:01:52 +02:00 committed by GitHub
commit e0208b9d3a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -348,8 +348,8 @@ in {
}; };
php71 = generic { php71 = generic {
version = "7.1.18"; version = "7.1.19";
sha256 = "13mz8baknpydswjgqzfqqqjv426x4pnc04rfv2k33s7d2makf3jq"; sha256 = "1wvhsxzmb78pcr36ginz93iv7rcrxp3p01rb34zxa2h4wdxkxi0k";
}; };
php72 = generic { php72 = generic {