From d147abc3e556c58e5e343d34b729bc2192e18bd3 Mon Sep 17 00:00:00 2001 From: mbedmain Date: Wed, 14 Jul 2021 11:11:35 +0100 Subject: [PATCH] Update Mbed version block --- platform/include/platform/mbed_version.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform/include/platform/mbed_version.h b/platform/include/platform/mbed_version.h index 17e8512d4b5..70689c5925b 100644 --- a/platform/include/platform/mbed_version.h +++ b/platform/include/platform/mbed_version.h @@ -38,7 +38,7 @@ * * @note 99 is default value for development version (master branch) */ -#define MBED_MINOR_VERSION 12 +#define MBED_MINOR_VERSION 13 /** MBED_PATCH_VERSION * Mbed OS patch version