Legoktm has submitted this change and it was merged. Change subject: Add lintian bug # to unusual-interpreter override ......................................................................
Add lintian bug # to unusual-interpreter override Change-Id: I3d676588327bc9a2b17ff95262a6fa5469a4a840 --- M mediawiki.lintian-overrides 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Legoktm: Verified; Looks good to me, approved Muehlenhoff: Looks good to me, but someone else must approve diff --git a/mediawiki.lintian-overrides b/mediawiki.lintian-overrides index 6d8ac94..b88c31b 100644 --- a/mediawiki.lintian-overrides +++ b/mediawiki.lintian-overrides @@ -19,7 +19,7 @@ # the files in question are not suitable for doc-base registration mediawiki: possible-documentation-but-no-doc-base-registration -# unusual, but not a typo +# unusual, but not a typo, filed as bug #789878 mediawiki: unusual-interpreter usr/share/mediawiki/maintenance/hiphop/run-server #!/usr/bin/hhvm # by design, README.Debian explains how the local admin -- To view, visit https://gerrit.wikimedia.org/r/273841 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I3d676588327bc9a2b17ff95262a6fa5469a4a840 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/debian Gerrit-Branch: master Gerrit-Owner: Legoktm <[email protected]> Gerrit-Reviewer: LFaraone <[email protected]> Gerrit-Reviewer: Legoktm <[email protected]> Gerrit-Reviewer: Muehlenhoff <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
