// This file was generated by py/makeversionhdr.py
#define MICROPY_GIT_TAG "v1.19.1"
#define MICROPY_GIT_HASH "9b486340d"
#define MICROPY_BUILD_DATE "2022-06-22"