// This file was generated by py/makeversionhdr.py
#define MICROPY_GIT_TAG "v1.13-148-ged7ddd4"
#define MICROPY_GIT_HASH "ed7ddd4"
#define MICROPY_BUILD_DATE "2020-11-03"