defined('MOODLE_INTERNAL') || die();
-$version = 2020061500.02; // 20200615 = branching date YYYYMMDD - do not modify!
+$version = 2020061500.03; // 20200615 = branching date YYYYMMDD - do not modify!
// RR = release increments - 00 in DEV branches.
// .XX = incremental changes.
-$release = '3.9+ (Build: 20200618)'; // Human-friendly version name
+$release = '3.9+ (Build: 20200626)'; // Human-friendly version name
$branch = '39'; // This version's branch.
$maturity = MATURITY_STABLE; // This version's maturity level.