Merge "build: Update eslint-config-wikimedia to 0.7.2"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 14 Aug 2018 20:49:21 +0000 (20:49 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 14 Aug 2018 20:49:21 +0000 (20:49 +0000)
commitfaffdf358c2ef344be89c1b5f6c6d377672fab29
tree99c4c831ca409a68a1634405f567763f41aa94d6
parenta6548f043a3b460c302cc1891f985131cf960497
parent606f2783c168e66142cba639c230e3e0c5332cf6
Merge "build: Update eslint-config-wikimedia to 0.7.2"