From 5019abfdd649c0b8afa31fac3be21db70621d00b Mon Sep 17 00:00:00 2001 From: Andrew Nicols Date: Fri, 16 Dec 2022 09:05:48 +0800 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 c9690fa8343..377236398a3 100644 --- a/version.php +++ b/version.php @@ -29,9 +29,9 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2022120900.02; // YYYYMMDD = weekly release date of this DEV branch. +$version = 2022121600.00; // YYYYMMDD = weekly release date of this DEV branch. // RR = release increments - 00 in DEV branches. // .XX = incremental changes. -$release = '4.2dev (Build: 20221209)'; // Human-friendly version name +$release = '4.2dev (Build: 20221216)'; // Human-friendly version name $branch = '402'; // This version's branch. $maturity = MATURITY_ALPHA; // This version's maturity level.