diff --git a/version.php b/version.php index 58f316def8e..9c67dd7edb8 100644 --- a/version.php +++ b/version.php @@ -29,11 +29,11 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2019041000.04; // YYYYMMDD = weekly release date of this DEV branch. +$version = 2019041300.00; // YYYYMMDD = weekly release date of this DEV branch. // RR = release increments - 00 in DEV branches. // .XX = incremental changes. -$release = '3.7dev+ (Build: 20190410)'; // Human-friendly version name +$release = '3.7dev+ (Build: 20190413)'; // Human-friendly version name $branch = '37'; // This version's branch. $maturity = MATURITY_ALPHA; // This version's maturity level.