Remove "#" in the version number (#4311)

So that people can stop using it in issue/pr comments and randomly link some other issue/pr unintentionally.
This commit is contained in:
Weiyi Wang 2018-10-06 00:55:52 -04:00 committed by GitHub
parent 0e42fa9fa7
commit 81657b737f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -29,7 +29,7 @@ if ($ENV{CI})
if (BUILD_VERSION)
# This leaves a trailing space on the last word, but we actually want that
# because of how it's styled in the title bar.
set(BUILD_FULLNAME "${REPO_NAME} #${BUILD_VERSION} ")
set(BUILD_FULLNAME "${REPO_NAME} ${BUILD_VERSION} ")
else()
set(BUILD_FULLNAME "")
endif()