com web/php: refresh distributions (7.2.5): distributions
| From: | Remi Collet | Date: | Tue, 24 Apr 2018 15:21:44 +0000 |
| Subject: | com web/php: refresh distributions (7.2.5): distributions | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-26925@lists.php.net to get a copy of this message | ||
Commit: b52e3e26924e2a08bace6ecf9343fccc6f62b09f
Author: Remi Collet <remi@php.net> Tue, 24 Apr 2018 17:21:22 +0200
Parents: 147d87bfa73c2e9a3fea5befeae4bfbc20c25bfe
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=b52e3e26924e2a08bace6ecf9343fccc6f62b09f
Log:
refresh distributions (7.2.5)
Changed paths:
M distributions
Diff:
diff --git a/distributions b/distributions
index bfdab9d..a2f3755 160000
--- a/distributions
+++ b/distributions
@@ -1 +1 @@
-Subproject commit bfdab9df32e46d224826d372d5385a4e1cded8e6
+Subproject commit a2f37554000dbcfbae15d2d2f78d8490881bea31