From 02c7769422633f9b30ece28777e5b6f5a596eb49 Mon Sep 17 00:00:00 2001 From: David Monllao Date: Tue, 8 May 2018 14:02:40 +0200 Subject: [PATCH] on-demand release 3.5beta+ --- version.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/version.php b/version.php index b72730af713..84769758914 100644 --- a/version.php +++ b/version.php @@ -29,11 +29,11 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2018050800.00; // YYYYMMDD = weekly release date of this DEV branch. +$version = 2018050800.01; // YYYYMMDD = weekly release date of this DEV branch. // RR = release increments - 00 in DEV branches. // .XX = incremental changes. -$release = '3.5beta+ (Build: 20180502)'; // Human-friendly version name +$release = '3.5beta+ (Build: 20180508)'; // Human-friendly version name $branch = '35'; // This version's branch. $maturity = MATURITY_BETA; // This version's maturity level. -- 2.43.0