From 8fdb6cbc36a0585301962390de4429ceaa6dc52a Mon Sep 17 00:00:00 2001
From: Jan Jongboom <janjongboom@gmail.com>
Date: Mon, 11 Mar 2019 13:03:34 +0100
Subject: [PATCH] Update to Mbed OS 5.12

---
 mbed-js-repl.lib      | 2 +-
 mbed-js/mbed_lib.json | 2 +-
 mbed-os.lib           | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/mbed-js-repl.lib b/mbed-js-repl.lib
index 59ab297..1d9330b 100644
--- a/mbed-js-repl.lib
+++ b/mbed-js-repl.lib
@@ -1 +1 @@
-https://github.com/janjongboom/mbed-js-repl/#3bb04531f83765ca6d115858d8a078d6ec1449df
+https://github.com/janjongboom/mbed-js-repl/#28b996d9c902223fbae4d0e67f2749c8d8117293
diff --git a/mbed-js/mbed_lib.json b/mbed-js/mbed_lib.json
index 7463dd9..df452c8 100644
--- a/mbed-js/mbed_lib.json
+++ b/mbed-js/mbed_lib.json
@@ -12,5 +12,5 @@
             "target.uart_hwfc": 0
         }
     },
-    "macros": ["JERRY_JS_PARSER 1"]
+    "macros": ["JERRY_JS_PARSER=1"]
 }
diff --git a/mbed-os.lib b/mbed-os.lib
index 95c3ed0..22a9e65 100644
--- a/mbed-os.lib
+++ b/mbed-os.lib
@@ -1 +1 @@
-https://github.com/ARMmbed/mbed-os/#5f6572179d66ce4c09d6517b659ac51133cc980d
+https://github.com/ARMmbed/mbed-os/#7dd791e2f992d872b2dab4a7f061d05f7283090a