From b80a22f5baa87f9554db108b2b5e218180207307 Mon Sep 17 00:00:00 2001 From: Jake Dallimore Date: Fri, 13 Jul 2018 12:26:16 +0800 Subject: [PATCH] weekly release 3.5.1+ --- version.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/version.php b/version.php index 31c083e8d5b..9090ec023fe 100644 --- a/version.php +++ b/version.php @@ -29,11 +29,11 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2018051701.00; // 20180517 = branching date YYYYMMDD - do not modify! +$version = 2018051701.01; // 20180517 = branching date YYYYMMDD - do not modify! // RR = release increments - 00 in DEV branches. // .XX = incremental changes. -$release = '3.5.1 (Build: 20180709)'; // Human-friendly version name +$release = '3.5.1+ (Build: 20180713)'; // Human-friendly version name $branch = '35'; // This version's branch. $maturity = MATURITY_STABLE; // This version's maturity level.