Index: head/lang/php71/distinfo
===================================================================
--- head/lang/php71/distinfo	(revision 507982)
+++ head/lang/php71/distinfo	(revision 507983)
@@ -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