Bump server version to 1.2-a9

Change-Id: Ib020760ba354279e72c6cd6abe7714a0c935efc5
diff --git a/server/version.properties b/server/version.properties
index 0b2a9f1..de4dd0f 100644
--- a/server/version.properties
+++ b/server/version.properties
@@ -15,11 +15,11 @@
 #
 version-file.version.code=1
 
-version=1.2-a8
+version=1.2-a9
 version.release.name=1.2
 version.release.code=3
 version.sub-release.kind=ALPHA
-version.sub-release.code=8
+version.sub-release.code=9
 
 # These properties are added by the release step
 # version.buildid=<BUILDID>