Update VERSION.txt

Incrementing tool's version
ARMmbed · Dec 17, 2019 · fc0a997 · fc0a997
1 parent 979ab00
commit fc0a997
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/mbed_os_tools/VERSION.txt b/src/mbed_os_tools/VERSION.txt
@@ -1 +1 @@
-0.0.11
+0.0.12