const char* GIT_REV="36a02d1"; const char* GIT_TAG=""; const char* GIT_BRANCH="master"; const char* BUILD_TIME="2022-09-17 10:08";