// This file was generated by py/makeversionhdr.py #define MICROPY_GIT_TAG "v1.23.0" #define MICROPY_GIT_HASH "a61c446c0" #define MICROPY_BUILD_DATE "2025-01-19"
