From dccda6546bfde32444780d99931704c5beba1b36 Mon Sep 17 00:00:00 2001 From: David Monllao Date: Tue, 13 Nov 2018 13:11:07 +0100 Subject: [PATCH] on-demand release 3.6dev+ --- version.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/version.php b/version.php index ebf9aea28d6..6a8ab5b3d7b 100644 --- a/version.php +++ b/version.php @@ -29,11 +29,11 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2018111000.00; // YYYYMMDD = weekly release date of this DEV branch. +$version = 2018111300.00; // YYYYMMDD = weekly release date of this DEV branch. // RR = release increments - 00 in DEV branches. // .XX = incremental changes. -$release = '3.6dev+ (Build: 20181110)'; // Human-friendly version name +$release = '3.6dev+ (Build: 20181113)'; // Human-friendly version name $branch = '36'; // This version's branch. $maturity = MATURITY_ALPHA; // This version's maturity level. -- 2.43.0