From 25568fa15cc9ddf899f5265cf433d3263a8b24fa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Damir=20Jeli=C4=87?= Date: Thu, 12 Mar 2020 12:20:46 +0100 Subject: [PATCH] EventIndex: More lint fixes. --- src/indexing/EventIndex.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/indexing/EventIndex.js b/src/indexing/EventIndex.js index 245427d425..a4a9302601 100644 --- a/src/indexing/EventIndex.js +++ b/src/indexing/EventIndex.js @@ -492,7 +492,7 @@ export default class EventIndex extends EventEmitter { ); try { - for (var i = 0; i < redactionEvents.length; i++) { + for (let i = 0; i < redactionEvents.length; i++) { const ev = redactionEvents[i]; await indexManager.deleteEvent(ev.getAssociatedId()); }