Legoktm has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/326224 )
Change subject: Update Linter to master ...................................................................... Update Linter to master Change-Id: I8c3e1c6b9c5ab2dc1cdeb50458888028d886289b --- M Linter 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Legoktm: Verified; Looks good to me, approved diff --git a/Linter b/Linter index ca7a3e8..7823130 160000 --- a/Linter +++ b/Linter @@ -1 +1 @@ -Subproject commit ca7a3e85c12de147e810e7dc2fafa5a0b6fd0909 +Subproject commit 782313088d3b3517f30e410fa0015b08e89d6fa5 -- To view, visit https://gerrit.wikimedia.org/r/326224 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I8c3e1c6b9c5ab2dc1cdeb50458888028d886289b Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions Gerrit-Branch: master Gerrit-Owner: Legoktm <lego...@member.fsf.org> Gerrit-Reviewer: Legoktm <lego...@member.fsf.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
