php71: 7.1.19 -> 7.1.20 (#44211)

Changelog: https://secure.php.net/ChangeLog-7.php#7.1.20
This commit is contained in:
Elis Hirwing 2018-07-30 20:16:26 +02:00 committed by xeji
parent 437b604354
commit 7c585235ff

View File

@ -231,8 +231,8 @@ in {
}; };
php71 = generic { php71 = generic {
version = "7.1.19"; version = "7.1.20";
sha256 = "1wvhsxzmb78pcr36ginz93iv7rcrxp3p01rb34zxa2h4wdxkxi0k"; sha256 = "0i8xd6p4zdg8fl6f0j430raanlshsshr3s3jlm72b0gvi1n4f6rs";
}; };
php72 = generic { php72 = generic {