com web/php: retag php-7.1.7, for the 42nd time: distributions
| From: | Joe Watkins | Date: | Thu, 06 Jul 2017 09:35:05 +0000 |
| Subject: | com web/php: retag php-7.1.7, for the 42nd time: distributions | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-26135@lists.php.net to get a copy of this message | ||
Commit: 13a6beab6d595b1ac0912208c84bd007712ac7f3
Author: Joe Watkins <krakjoe@php.net> Thu, 6 Jul 2017 10:35:05 +0100
Parents: a085d25b21c87fec944b3c8556bd00005ace4d04
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=13a6beab6d595b1ac0912208c84bd007712ac7f3
Log:
retag php-7.1.7, for the 42nd time
Changed paths:
M distributions
Diff:
diff --git a/distributions b/distributions
index c8474d9..f2fcc3c 160000
--- a/distributions
+++ b/distributions
@@ -1 +1 @@
-Subproject commit c8474d9586b9e8b9e7e54bf561d55474aca9ba43
+Subproject commit f2fcc3cb770af320ec2ca83f39f45813ec2aaf9d