jenkins-bot has submitted this change and it was merged.
Change subject: Update grunt-jsonlint to 1.0.5
......................................................................
Update grunt-jsonlint to 1.0.5
This is a minor update there were packages updates in this version.
Change-Id: I43cced8c20153d06f764ebba90f64de0431e2d3f
---
M package.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/package.json b/package.json
index 3ae7b78..209d325 100644
--- a/package.json
+++ b/package.json
@@ -13,7 +13,7 @@
"grunt-contrib-jshint": "0.11.3",
"grunt-contrib-watch": "0.6.1",
"grunt-jscs": "2.1.0",
- "grunt-jsonlint": "1.0.4",
+ "grunt-jsonlint": "1.0.5",
"grunt-karma": "0.12.1",
"karma": "0.13.10",
"karma-chrome-launcher": "0.2.0",
--
To view, visit https://gerrit.wikimedia.org/r/248618
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I43cced8c20153d06f764ebba90f64de0431e2d3f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Paladox <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: Umherirrender <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
