From b8b905cd90f7a1d0db59a70a32d47e015dcfbfea Mon Sep 17 00:00:00 2001 From: Paul Holden Date: Thu, 5 Jan 2023 10:53:08 +0000 Subject: [PATCH] weekly release 4.2dev --- version.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/version.php b/version.php index 0bf8760cb57..88d97ae9d88 100644 --- a/version.php +++ b/version.php @@ -29,9 +29,9 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2023010300.00; // YYYYMMDD = weekly release date of this DEV branch. +$version = 2023010500.00; // YYYYMMDD = weekly release date of this DEV branch. // RR = release increments - 00 in DEV branches. // .XX = incremental changes. -$release = '4.2dev (Build: 20221229)'; // Human-friendly version name +$release = '4.2dev (Build: 20230105)'; // Human-friendly version name $branch = '402'; // This version's branch. $maturity = MATURITY_ALPHA; // This version's maturity level.