com web/php: update distributions for 7.2.0: distributions
| From: | Remi Collet | Date: | Tue, 28 Nov 2017 12:49:22 +0000 |
| Subject: | com web/php: update distributions for 7.2.0: distributions | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-26605@lists.php.net to get a copy of this message | ||
Commit: d33bb77e6973eda7f704fade12c1abd11263c3e0
Author: Remi Collet <remi@php.net> Tue, 28 Nov 2017 13:48:36 +0100
Parents: 3b69ca8b0fe2cf2ecf51b28decf90bb6c850487c
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=d33bb77e6973eda7f704fade12c1abd11263c3e0
Log:
update distributions for 7.2.0
Changed paths:
M distributions
Diff:
diff --git a/distributions b/distributions
index 4b6c8b5..9d7f675 160000
--- a/distributions
+++ b/distributions
@@ -1 +1 @@
-Subproject commit 4b6c8b51ce8b3c7d72733df12581603406445584
+Subproject commit 9d7f6759d8198f67d6bbf0b6a4fa4791e914d3ea