Commit:    8aac283eceab34b07d6a922bd9dfc86b534e0849
Author:    Remi Collet <r...@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


--
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to