From dca021195f3b415a2658453f4cc01d7b8638f614 Mon Sep 17 00:00:00 2001 From: tz Date: Sat, 3 Aug 2019 19:08:46 +0000 Subject: PHP 7.1: Put missing mail header patch back --- lang/php71/distinfo | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'lang') diff --git a/lang/php71/distinfo b/lang/php71/distinfo index f9d408ed82e5..9e36a9f79707 100644 --- a/lang/php71/distinfo +++ b/lang/php71/distinfo @@ -1,3 +1,5 @@ -TIMESTAMP = 1564742330 +TIMESTAMP = 1564859295 SHA256 (php-7.1.31.tar.xz) = 5cb53b63592ec4361f0ab12c684b10430344821a024881a387ead4299df78fa5 SIZE (php-7.1.31.tar.xz) = 12370928 +SHA256 (php-7.1.x-mail-header.patch) = 8f173d89672f7ebfabfcc3c5d7f8dec1c4243aba665db4b4046e67c34d9d4dc7 +SIZE (php-7.1.x-mail-header.patch) = 4504 -- cgit