const char* GIT_REV="dc27911"; const char* GIT_TAG=""; const char* GIT_BRANCH="master"; const char* BUILD_TIME="2022-07-17 09:03";