From c24f61df3639db4207b763e189413b8d417be8d7 Mon Sep 17 00:00:00 2001 From: Sam El-Husseini Date: Fri, 1 Dec 2017 15:11:44 -0800 Subject: [PATCH 1/2] Fix serial on devices that don't have the mbed serial driver installed (#583) --- pxtarget.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pxtarget.json b/pxtarget.json index bf154e69..3b4649dc 100644 --- a/pxtarget.json +++ b/pxtarget.json @@ -201,7 +201,7 @@ "serviceId": "microbit" }, "serial": { - "nameFilter": "^mbed Serial Port", + "nameFilter": "^(mbed Serial Port|DAPLink CMSIS-DAP)", "log": true, "useEditor": true, "editorTheme": { @@ -363,4 +363,4 @@ "editor.background": "#ecf0f1" } } -} \ No newline at end of file +} From 4d851407f1c67fd40bc6a7b078abc315b67cc7ce Mon Sep 17 00:00:00 2001 From: Sam El-Husseini Date: Fri, 1 Dec 2017 15:12:32 -0800 Subject: [PATCH 2/2] 0.13.41 --- package-lock.json | 2 +- package.json | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package-lock.json b/package-lock.json index 495ed44b..068007f7 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,6 +1,6 @@ { "name": "pxt-microbit", - "version": "0.13.39", + "version": "0.13.41", "lockfileVersion": 1, "requires": true, "dependencies": { diff --git a/package.json b/package.json index 693f80e0..f2f46a95 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "pxt-microbit", - "version": "0.13.40", + "version": "0.13.41", "description": "micro:bit target for Microsoft MakeCode (PXT)", "keywords": [ "JavaScript",