diff --git a/src/mbed_os_tools/VERSION.txt b/src/mbed_os_tools/VERSION.txt index 2cfabea2f1..8cbf02c396 100644 --- a/src/mbed_os_tools/VERSION.txt +++ b/src/mbed_os_tools/VERSION.txt @@ -1 +1 @@ -0.0.11 +0.0.12