From d70cfda576756fe33bceaf1db76060446a1bf68f Mon Sep 17 00:00:00 2001 From: Sara Arjona Date: Fri, 9 Oct 2020 11:12:48 +0200 Subject: [PATCH] on-demand release 3.10dev+ --- version.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/version.php b/version.php index c9437f1d7ef..cb01930b269 100644 --- a/version.php +++ b/version.php @@ -29,9 +29,9 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2020100700.00; // YYYYMMDD = weekly release date of this DEV branch. +$version = 2020100900.00; // YYYYMMDD = weekly release date of this DEV branch. // RR = release increments - 00 in DEV branches. // .XX = incremental changes. -$release = '3.10dev+ (Build: 20201006)';// Human-friendly version name +$release = '3.10dev+ (Build: 20201009)';// Human-friendly version name $branch = '310'; // This version's branch. $maturity = MATURITY_ALPHA; // This version's maturity level.