From f4859dc269f13006458649ffb5e97d8d80db304e Mon Sep 17 00:00:00 2001
From: Gordon Williams <gw@pur3.co.uk>
Date: Wed, 10 Jun 2020 08:27:26 +0100
Subject: [PATCH] lint fix

---
 js/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/index.js b/js/index.js
index 0c1662a27..bc90fcdbb 100644
--- a/js/index.js
+++ b/js/index.js
@@ -403,7 +403,7 @@ function checkDependencies(app, uploadOptions) {
       if (found)
         console.log(`Found dependency in installed app '${found.id}'`);
       else {
-        var foundApps = appJSON.filter(app=>app.type==dependency);
+        let foundApps = appJSON.filter(app=>app.type==dependency);
         if (!foundApps.length) throw new Error(`Dependency of '${dependency}' listed, but nothing satisfies it!`);
         console.log(`Apps ${foundApps.map(f=>`'${f.id}'`).join("/")} implement '${dependency}'`);
         found = foundApps[0]; // choose first app in list