all: Bump version to 1.13.

Signed-off-by: NDamien George <damien@micropython.org>

docs/conf.py

@@ -74,7 +74,7 @@ copyright = '2014-2020, Damien P. George, Paul Sokolovsky, and contributors'
 #
 # We don't follow "The short X.Y version" vs "The full version, including alpha/beta/rc tags"
 # breakdown, so use the same version identifier for both to avoid confusion.
-version = release = '1.12'
+version = release = '1.13'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.

py/mpconfig.h

@@ -28,7 +28,7 @@
 
 // Current version of MicroPython
 #define MICROPY_VERSION_MAJOR 1
-#define MICROPY_VERSION_MINOR 12
+#define MICROPY_VERSION_MINOR 13
 #define MICROPY_VERSION_MICRO 0
 
 // Combined version as a 32-bit number for convenience