Filippo Giunchedi has submitted this change and it was merged. Change subject: add missing hhvm dependency ......................................................................
add missing hhvm dependency Change-Id: Id26a57d323f3fc564432ab3b4b2f816abc156db4 --- M debian/changelog M debian/control 2 files changed, 7 insertions(+), 1 deletion(-) Approvals: Ori.livneh: Looks good to me, but someone else must approve Filippo Giunchedi: Verified; Looks good to me, approved diff --git a/debian/changelog b/debian/changelog index f6b2229..53b34f4 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +php5-fss (1.1.6) trusty-wikimedia; urgency=medium + + * Add missing 'hhvm' to Build-Depends in order to get the right hhvm-api- dependency + + -- Filippo Giunchedi <fili...@wikimedia.org> Thu, 04 Jun 2015 20:54:22 +0000 + php5-fss (1.1.5) trusty-wikimedia; urgency=medium * Ori Livneh: "Don't try to smart_delete() null" diff --git a/debian/control b/debian/control index 810f663..69b3a99 100644 --- a/debian/control +++ b/debian/control @@ -2,7 +2,7 @@ Section: web Priority: optional Maintainer: Faidon Liambotis <fai...@wikimedia.org> -Build-Depends: debhelper (>= 9), php5-dev, hhvm-dev, cmake +Build-Depends: debhelper (>= 9), php5-dev, hhvm, hhvm-dev, cmake Standards-Version: 3.9.5 Package: php5-fss -- To view, visit https://gerrit.wikimedia.org/r/215968 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id26a57d323f3fc564432ab3b4b2f816abc156db4 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: 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