com web/php: files for php-7.1.5: distributions
| From: | Joe Watkins | Date: | Tue, 09 May 2017 12:34:33 +0000 |
| Subject: | com web/php: files for php-7.1.5: distributions | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-25798@lists.php.net to get a copy of this message | ||
Commit: e86ddf01fe11ca480ba10d7bc8a118ec86cbfd25
Author: Joe Watkins <krakjoe@php.net> Tue, 9 May 2017 13:34:33 +0100
Parents: 254aec3c399b3d36922ae7bd7fe063943d0f0552
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=e86ddf01fe11ca480ba10d7bc8a118ec86cbfd25
Log:
files for php-7.1.5
Changed paths:
M distributions
Diff:
diff --git a/distributions b/distributions
index d2294de..6ee672b 160000
--- a/distributions
+++ b/distributions
@@ -1 +1 @@
-Subproject commit d2294de90e0997d15cff0e3f09292e9f4756e46d
+Subproject commit 6ee672b1d1d488a631a63fd86f56432f74853d78