From 109aa076480fca62c81f3bf9849896031d4e5710 Mon Sep 17 00:00:00 2001 From: Jun Pataleta Date: Fri, 8 Dec 2017 09:09:53 +1300 Subject: [PATCH] weekly release 3.5dev --- version.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/version.php b/version.php index 879f2caa3ca..d75328cb42d 100644 --- a/version.php +++ b/version.php @@ -29,11 +29,11 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2017120100.00; // YYYYMMDD = weekly release date of this DEV branch. +$version = 2017120800.00; // YYYYMMDD = weekly release date of this DEV branch. // RR = release increments - 00 in DEV branches. // .XX = incremental changes. -$release = '3.5dev (Build: 20171201)'; // Human-friendly version name +$release = '3.5dev (Build: 20171208)'; // Human-friendly version name $branch = '35'; // This version's branch. $maturity = MATURITY_ALPHA; // This version's maturity level. -- 2.11.4.GIT