# HG changeset patch
# User wenzelm
# Date 1505723302 -7200
# Node ID 1e4450008c47339e12db563da8d80303b1853245
# Parent  75694b28ef08a861b70e6d73d9af2c44355d8d9d
auto update;

diff -r 75694b28ef08 -r 1e4450008c47 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Sun Sep 17 21:46:17 2017 +0200
+++ b/src/Tools/VSCode/extension/package.json	Mon Sep 18 10:28:22 2017 +0200
@@ -492,9 +492,9 @@
         "postinstall": "node ./node_modules/vscode/bin/install"
     },
     "devDependencies": {
-        "@types/mocha": "^2.2.42",
+        "@types/mocha": "^2.2.43",
         "@types/node": "^7.0.43",
-        "mocha": "^3.5.0",
+        "mocha": "^3.5.3",
         "typescript": "^2.5.2",
         "vscode": "^1.1.5"
     },