Merge "build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 7 May 2019 01:09:53 +0000 (01:09 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 7 May 2019 01:09:53 +0000 (01:09 +0000)
commit1106159c663bd32359f9cf80e099ddc1008e3d17
treefca775f059454eb5fbd25d0b36e27d15348c1d72
parent2cea8289f0761bc3488ab53ad059bef656790988
parent7fdc5220f2d64ab5696f22b24e682aa81c1f615b
Merge "build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint"