Bump version to 0.9

diff --git a/Makefile b/Makefile
index e7ea2f05abe885c880cd397da0ed439112d5dda6..613d109356638e3ea8cd31c80df5e7aeb6d87675 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@
 # Foundation, either version 3 of the License, or any later version.
 
 VERSION_MAJOR=0
-VERSION_MINOR=8
+VERSION_MINOR=9
 VERSION_NAMESPACE=armadillo.Version
 VERSION_FILE=frontend/version.js.proto
 VERSION_SOURCE=$(basename $(VERSION_FILE))