#define BUILD_GIT_VERSION_NUMBER 8001
#define BUILD_GIT_VERSION_STRING "3.1.3"
#define TAGGED_RELEASE 1