From a293ad86d3993c4514525dab1f691a901bbd9323 Mon Sep 17 00:00:00 2001 From: Jaeden Amero Date: Fri, 3 Jul 2020 13:12:21 +0100 Subject: [PATCH] Bump mbed-os-tools version To update the platform database, mbed-os-tools itself needs version bump (as it contains the database), not just mbed-ls (which used to contain the database). --- src/mbed_os_tools/VERSION.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mbed_os_tools/VERSION.txt b/src/mbed_os_tools/VERSION.txt index 9789c4ccb0..ceddfb28f4 100644 --- a/src/mbed_os_tools/VERSION.txt +++ b/src/mbed_os_tools/VERSION.txt @@ -1 +1 @@ -0.0.14 +0.0.15