Release 5.1.1

This commit is contained in:
rubenwardy 2020-01-10 18:59:43 +00:00
parent f6490859fd
commit c02f13d33f

@ -21,7 +21,7 @@ set(VERSION_PATCH 1)
set(VERSION_EXTRA "" CACHE STRING "Stuff to append to version string")
# Change to false for releases
set(DEVELOPMENT_BUILD TRUE)
set(DEVELOPMENT_BUILD FALSE)
set(VERSION_STRING "${VERSION_MAJOR}.${VERSION_MINOR}.${VERSION_PATCH}")
if(VERSION_EXTRA)