Merge "build: Update eslint-config-wikimedia to 0.13.0"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 5 Jul 2019 21:18:30 +0000 (21:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 5 Jul 2019 21:18:30 +0000 (21:18 +0000)
commit88271981afef81169a0d80610705bc6a33c6e070
tree2b6de7cf338d22e70b9a1cf962077a9e7a73df85
parentda52a5bf3b6e972e0b64355dabc80bef5c800ac4
parent689d07b81d7271eeeae95b6508be9dd952399679
Merge "build: Update eslint-config-wikimedia to 0.13.0"