diff --git a/version.properties b/version.properties
index 2aee7b2c4..9adb96515 100644
--- a/version.properties
+++ b/version.properties
@@ -1,7 +1,7 @@
 #DO NOT MODIFY - it is updated automatically with the build script
-#Mon, 10 Nov 2014 08:17:58 +0100
+#Mon, 10 Nov 2014 08:52:32 +0100
 major=4
 minor=0
 release=0
-build=311
+build=312
 debug=true