const char* GIT_REV="1cba7d3"; const char* GIT_TAG=""; const char* GIT_BRANCH="rolling"; const char* BUILD_TIME="2020-11-20 19:25";