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