diff --git a/html/inc/server_version.inc b/html/inc/server_version.inc
index 6336432c149..b5a357a2e50 100644
--- a/html/inc/server_version.inc
+++ b/html/inc/server_version.inc
@@ -7,7 +7,7 @@
 // and are assumed to have a branch on github.
 // dev versions (e.g. master) have an odd minor #
 
-$server_version = array(1, 4, 1);
+$server_version = array(1, 4, 2);
 
 $server_version_str = sprintf("%d.%d.%d",
     $server_version[0], $server_version[1], $server_version[2]