// This file was generated by py/makeversionhdr.py #define MICROPY_GIT_TAG "v1.12.99.99" #define MICROPY_GIT_HASH "ed1a88e-dirty" #define MICROPY_BUILD_DATE "2020-02-20"
