From a473deb425388a1e65068257c525e172d1a45dc3 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Sun, 13 Dec 2020 02:26:18 +0000
Subject: [PATCH] Bump ini from 1.3.5 to 1.3.8

Bumps [ini](https://github.com/isaacs/ini) from 1.3.5 to 1.3.8.
- [Release notes](https://github.com/isaacs/ini/releases)
- [Commits](https://github.com/isaacs/ini/compare/v1.3.5...v1.3.8)

Signed-off-by: dependabot[bot] <support@github.com>
---
 package-lock.json | 38 +++++++++++++++++++++++++++++++++++---
 1 file changed, 35 insertions(+), 3 deletions(-)

diff --git a/package-lock.json b/package-lock.json
index 58e03bc..b079c10 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1187,6 +1187,38 @@
         "reason-promise": "^1.0.1",
         "reason-react": ">=0.7.0",
         "reason-react-update": "^0.1.1"
+      },
+      "dependencies": {
+        "@glennsl/bs-json": {
+          "version": "5.0.2",
+          "resolved": "https://registry.npmjs.org/@glennsl/bs-json/-/bs-json-5.0.2.tgz",
+          "integrity": "sha512-vVlHJNrhmwvhyea14YiV4L5pDLjqw1edE3GzvMxlbPPQZVhzgO3sTWrUxCpQd2gV+CkMfk4FHBYunx9nWtBoDg=="
+        },
+        "agda-mode-vscode": {
+          "version": "github:banacorn/agda-mode-vscode#7593559fb216892cdaae91b67804509a73153c0b",
+          "from": "github:banacorn/agda-mode-vscode#759355",
+          "requires": {
+            "@glennsl/bs-json": "github:banacorn/bs-json#0c900d3",
+            "bs-nd": "^0.1.5",
+            "bs-platform": "^7.2",
+            "bs-webapi": "^0.15.3",
+            "compare-versions": "^3.5.1",
+            "eventemitter3": "^4.0.0",
+            "react": "^16.9.0",
+            "react-dom": "^16.9.0",
+            "reason-promise": "^1.0.1",
+            "reason-react": ">=0.7.0",
+            "reason-react-update": "^0.1.1",
+            "untildify": "^4.0.0",
+            "vscode-codicons": "^0.0.7"
+          },
+          "dependencies": {
+            "@glennsl/bs-json": {
+              "version": "github:banacorn/bs-json#0c900d3ad5c06eb2e6513a677096f1ec0411d282",
+              "from": "github:banacorn/bs-json#0c900d3"
+            }
+          }
+        }
       }
     },
     "has-flag": {
@@ -1326,9 +1358,9 @@
       "dev": true
     },
     "ini": {
-      "version": "1.3.5",
-      "resolved": "https://registry.npmjs.org/ini/-/ini-1.3.5.tgz",
-      "integrity": "sha512-RZY5huIKCMRWDUqZlEi72f/lmXKMvuszcMBduliQ3nnWbx9X/ZBQO7DijMEYS9EhHBb2qacRUMtC7svLwe0lcw==",
+      "version": "1.3.8",
+      "resolved": "https://registry.npmjs.org/ini/-/ini-1.3.8.tgz",
+      "integrity": "sha512-JV/yugV2uzW5iMRSiZAyDtQd+nxtUnjeLt0acNdw98kKLrvuRVyB80tsREOE7yvGVgalhZ6RNXCmEHkUKBKxew==",
       "dev": true
     },
     "interpret": {