Filippo Giunchedi has submitted this change and it was merged. Change subject: new debian release ......................................................................
new debian release Change-Id: Idf80aa124effcbc7f38caab10af6e499fc02bbaa --- M debian/changelog 1 file changed, 7 insertions(+), 0 deletions(-) Approvals: Filippo Giunchedi: Verified; Looks good to me, approved diff --git a/debian/changelog b/debian/changelog index edc6e69..f6b2229 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +php5-fss (1.1.5) trusty-wikimedia; urgency=medium + + * Ori Livneh: "Don't try to smart_delete() null" + * Giuseppe Lavagetto: "Make fss compile with HHVM 3.6.x" + + -- Filippo Giunchedi <fili...@wikimedia.org> Thu, 04 Jun 2015 18:53:39 +0000 + php5-fss (1.1.4) trusty-wikimedia; urgency=medium * Correct links for the php5 package -- To view, visit https://gerrit.wikimedia.org/r/215957 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Idf80aa124effcbc7f38caab10af6e499fc02bbaa Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/php/FastStringSearch Gerrit-Branch: master Gerrit-Owner: Filippo Giunchedi <fgiunch...@wikimedia.org> Gerrit-Reviewer: Filippo Giunchedi <fgiunch...@wikimedia.org> Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org> Gerrit-Reviewer: Ori.livneh <o...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits