From df36a4bb3c818f0672bb6d137a3327910a7ebbec Mon Sep 17 00:00:00 2001
From: Andreas Brett <github@abrett.de>
Date: Mon, 15 Nov 2021 18:02:14 +0100
Subject: [PATCH] console.info for level "info"

---
 src/util.js | 2 +-
 src/util.ts | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/util.js b/src/util.js
index 6cb1d878c..6a51c4c7a 100644
--- a/src/util.js
+++ b/src/util.js
@@ -50,7 +50,7 @@ function log(module, msg, level) {
     var now = new Date().toISOString();
     var formattedMessage = (typeof msg === "string") ? now + " [" + module + "] " + level + ": " + msg : msg;
     if (level === "INFO") {
-        console.log(formattedMessage);
+        console.info(formattedMessage);
     }
     else if (level === "WARN") {
         console.warn(formattedMessage);
diff --git a/src/util.ts b/src/util.ts
index d7666d886..7bd920332 100644
--- a/src/util.ts
+++ b/src/util.ts
@@ -57,7 +57,7 @@ function log(module: string, msg: any, level:string) {
     const formattedMessage = (typeof msg === "string") ? `${now} [${module}] ${level}: ${msg}` : msg;
 
     if (level === "INFO") {
-        console.log(formattedMessage);
+        console.info(formattedMessage);
     } else if (level === "WARN") {
         console.warn(formattedMessage);
     } else if (level === "ERROR") {