From e28b5d48d43f0496769d586ab64a9bdbddd5c97b Mon Sep 17 00:00:00 2001
From: Peli de Halleux <jhalleux@microsoft.com>
Date: Mon, 19 Dec 2016 16:08:31 -0800
Subject: [PATCH] 0.7.2

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

diff --git a/package.json b/package.json
index 07da4fcf..1344e975 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "pxt-microbit",
-  "version": "0.7.1",
+  "version": "0.7.2",
   "description": "micro:bit target for PXT",
   "keywords": [
     "JavaScript",