From 0ff2d7866d7dd3fd35d6f26c2fbb01475b42ad4e Mon Sep 17 00:00:00 2001
From: Sam El-Husseini <samelh@microsoft.com>
Date: Wed, 2 May 2018 15:07:45 -0700
Subject: [PATCH] bump pxt-core to 3.12.16,

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 45d6ca86..16619ba7 100644
--- a/package.json
+++ b/package.json
@@ -42,7 +42,7 @@
   },
   "dependencies": {
     "pxt-common-packages": "0.22.1",
-    "pxt-core": "3.12.12"
+    "pxt-core": "3.12.16"
   },
   "scripts": {
     "test": "node node_modules/pxt-core/built/pxt.js travis"