diff --git a/version.php b/version.php index 30a5d861031..2dc54da5423 100644 --- a/version.php +++ b/version.php @@ -29,9 +29,9 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2022112812.03; // 20221128 = branching date YYYYMMDD - do not modify! +$version = 2022112813.00; // 20221128 = branching date YYYYMMDD - do not modify! // RR = release increments - 00 in DEV branches. // .XX = incremental changes. -$release = '4.1.12+ (Build: 20240829)'; // Human-friendly version name +$release = '4.1.13 (Build: 20240902)'; // Human-friendly version name $branch = '401'; // This version's branch. $maturity = MATURITY_STABLE; // This version's maturity level.