diff --git a/version.properties b/version.properties
index 9adb96515..40b5ebb31 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:52:32 +0100
+#Mon, 10 Nov 2014 08:55:18 +0100
 major=4
 minor=0
 release=0
-build=312
+build=313
 debug=true