com web/php: refresh distributions for 7.2.8: distributions
| From: | Remi Collet | Date: | Tue, 17 Jul 2018 06:50:05 +0000 |
| Subject: | com web/php: refresh distributions for 7.2.8: distributions | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-27123@lists.php.net to get a copy of this message | ||
Commit: 2619dffb0d1a05b9bd4c294824150d2ac405d671
Author: Remi Collet <remi@php.net> Tue, 17 Jul 2018 08:50:05 +0200
Parents: ffaf369719445758b59acf93630bee8843bc96e1
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=2619dffb0d1a05b9bd4c294824150d2ac405d671
Log:
refresh distributions for 7.2.8
Changed paths:
M distributions
Diff:
diff --git a/distributions b/distributions
index 3e702cc..d87472d 160000
--- a/distributions
+++ b/distributions
@@ -1 +1 @@
-Subproject commit 3e702cce59374b5c8119d1e7cd3e610519f7f334
+Subproject commit d87472d3ce08fd048353da9c90a09e7fb1b483dd