com web/php: add missing archive for pr/225: archive/archive.xml
| From: | JulienPauli | Date: | Mon, 25 Jun 2018 11:08:37 +0000 |
| Subject: | com web/php: add missing archive for pr/225: archive/archive.xml | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-27079@lists.php.net to get a copy of this message | ||
Commit: 32566172530f9bf514e7eb42b9cb4d1338cba872
Author: Julien Pauli <jpauli@php.net> 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"/>