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


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

Reply via email to