Commit:    32566172530f9bf514e7eb42b9cb4d1338cba872
Author:    Julien Pauli <[email protected]>         Mon, 25 Jun 2018 13:08:37 +0200
Parents:   79f6c75767de99f8307ac184ad78b1cc9b122e51
Branches:  master

Link:       
http://git.php.net/?p=web/php.git;a=commitdiff;h=32566172530f9bf514e7eb42b9cb4d1338cba872

Log:
add missing archive for pr/225

Changed paths:
  M  archive/archive.xml


Diff:
diff --git a/archive/archive.xml b/archive/archive.xml
index 7f781f9..170499d 100644
--- a/archive/archive.xml
+++ b/archive/archive.xml
@@ -13,6 +13,7 @@
   <xi:include href="entries/2018-06-21-2.xml"/>
   <xi:include href="entries/2018-06-21-1.xml"/>
   <xi:include href="entries/2018-06-18-1.xml"/>
+  <xi:include href="entries/2018-06-14-1.xml"/>
   <xi:include href="entries/2018-06-13-1.xml"/>
   <xi:include href="entries/2018-06-11-1.xml"/>
   <xi:include href="entries/2018-06-07-1.xml"/>


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

Reply via email to