From 743e6f373c74343c65533146e2b943e89815ffef Mon Sep 17 00:00:00 2001 From: Laurence Date: Mon, 23 Jan 2023 10:56:49 +0100 Subject: [PATCH] Rebaed with master --- html/inc/server_version.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/html/inc/server_version.inc b/html/inc/server_version.inc index 6336432c14..b5a357a2e5 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]