Update version number to 5.0.9.

2015-06-19 16:21:29 -06:00
parent eb87ca4530
commit 7440f116b6
1 changed files with 1 additions and 1 deletions
@@ -1,7 +1,7 @@
 # Set up version numbers according to the new scheme.
 set(SM_VERSION_MAJOR 5)
 set(SM_VERSION_MINOR 0)
-set(SM_VERSION_PATCH 8)
+set(SM_VERSION_PATCH 9)
 set(SM_VERSION_TRADITIONAL "${SM_VERSION_MAJOR}.${SM_VERSION_MINOR}.${SM_VERSION_PATCH}")

 execute_process(COMMAND git rev-parse --short HEAD