From d8e882828f92186f2591dbdf5797f619611d29a2 Mon Sep 17 00:00:00 2001
From: Adrien CABARBAYE <adrien.cabarbaye@arm.com>
Date: Fri, 17 Apr 2020 09:37:32 +0100
Subject: [PATCH] Bumped version

---
 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 8cbf02c396..43b2961830 100644
--- a/src/mbed_os_tools/VERSION.txt
+++ b/src/mbed_os_tools/VERSION.txt
@@ -1 +1 @@
-0.0.12
+0.0.13