defined('MOODLE_INTERNAL') || die();
-$version = 2020020700.00; // YYYYMMDD = weekly release date of this DEV branch.
+$version = 2020020700.02; // YYYYMMDD = weekly release date of this DEV branch.
// RR = release increments - 00 in DEV branches.
// .XX = incremental changes.
$release = '3.9dev (Build: 20200207)'; // Human-friendly version name